Leonardo de Moura caa3136558 fix: doc		2020-12-23 09:41:42 -08:00
..
bin
examples/compiler
make
.gitignore
array.md
autobound.md
book.toml
builtintypes.md
char.md
coding_style.md
commit_convention.md
debugging.md	doc: notes on debugging Lean	2020-12-21 17:49:59 +01:00
decltypes.md
definitions.md
dep.md	doc: minor edits	2020-12-22 18:54:57 +01:00
deptypes.md
do.md	fix: doc	2020-12-19 23:06:04 -08:00
enum.md
faq.md
fixing_tests.md
float.md
funabst.md	doc: minor edits	2020-12-22 18:54:57 +01:00
functions.md
highlight.js
implicit.md
inductive.md
int.md	doc: minor edits	2020-12-22 18:54:57 +01:00
introdef.md
lean3changes.md	fix: doc	2020-12-23 09:41:42 -08:00
list.md
mdbook.md
namespaces.md
nat.md
option.md
organization.md
sections.md
simptypes.md	doc: minor edits	2020-12-22 18:54:57 +01:00
string.md
stringinterp.md
struct.md
SUMMARY.md	doc: notes on debugging Lean	2020-12-21 17:49:59 +01:00
syntax_highlight_in_latex.md
tactics.md
task.md
test
thunk.md
tour.md	doc: minor edits	2020-12-22 18:54:57 +01:00
typeclass.md
typeobjs.md	doc: minor edits	2020-12-22 18:54:57 +01:00
uint.md
unifhint.md
whatIsLean.md	doc: minor edits	2020-12-22 18:54:57 +01:00