This website requires JavaScript.
Explore
Help
Sign in
michael
/
lean2
Watch
1
Star
0
Fork
You've already forked lean2
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
Actions
594
commits
3
branches
0
tags
28
MiB
6569406fb9
Branches
Tags
No results found.
Commit graph
1 commit
Author
SHA1
Message
Date
Leonardo de Moura
6bb9fc859e
Add examples that demonstrate limitations of the current elaborator. The new design, we are working on, will be able to solve them.
...
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2013-09-07 19:40:40 -07:00