diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..0c8c123
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,28 @@
+*~
+.lean_trace
+*.produced.out
+*.md.lua
+*.md.lean
+*.olean
+*.clean
+*.ilean
+*.d
+a.out
+build
+GPATH
+GRTAGS
+GSYMS
+GTAGS
+Makefile
+*.cmake
+CMakeFiles/
+.projectile
+.coveralls.yml
+.lean_options
+doc/html
+make.deps
+src/emacs/dependencies
+compile_commands.json
+.ninja_deps
+.ninja_log
+build.ninja
\ No newline at end of file
diff --git a/.project b/.project
new file mode 100644
index 0000000..96c4378
--- /dev/null
+++ b/.project
@@ -0,0 +1,10 @@
+# Lean project file
+
+# Include all .hlean files under this directory
++ *.hlean
+
+# Exclude flycheck generated temp files
+- flycheck*.hlean
+
+# Exclude emacs temp files
+- .#*.hlean
\ No newline at end of file