leanprover / lean3

Lean Theorem Prover
http://leanprover.github.io/
Apache License 2.0
2.15k stars 217 forks source link

Feature/vm dynload #2000

Closed cipher1024 closed 5 years ago

cipher1024 commented 5 years ago

Pull Request Description

Ensure you have read the contribution guide before filling in a description of the pull request, regardless of whether it is complete or a work in progress. All Pull Requests should include test case(s) which demonstrates the intended behavior of a feature, or a regression test demonstrating that the fix resolves the issue.