Leonardo de Moura
|
028a9bd9bd
|
feat(frontends/lean/scanner): use Lua style comments in Lean
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-01-05 08:53:27 -08:00 |
|
Leonardo de Moura
|
03cf9be8b5
|
doc(doc/lean/calc.md): link to Nat.lean
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-01-03 11:59:24 -08:00 |
|
Leonardo de Moura
|
66ec538c63
|
doc(doc/lean/calc.md): calculational proof documentation
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-01-03 11:52:21 -08:00 |
|
Leonardo de Moura
|
3874e23a76
|
doc(doc/lean): expressions
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2013-12-26 21:29:54 -08:00 |
|
Leonardo de Moura
|
f27105d17f
|
doc(doc/lean): lexical conventions
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2013-12-23 22:50:13 -08:00 |
|