Formalization of ABS in the Lean theorem prover.
Clone this repository, then run leanpkg build. Only start IDE after compilation finished.
To build all of mathlib, run lean --make _target/deps/mathlib.
-
Notifications
You must be signed in to change notification settings - Fork 0
Formalization of proof system for ABS in the Lean theorem prover
License
praalhans/lean-abs
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Formalization of proof system for ABS in the Lean theorem prover
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published