this is Isabelle theorem prover which helps formalizing and proving some paper proofs as well as mathematics proofs
-
Notifications
You must be signed in to change notification settings - Fork 0
Manikaran20/Isabelle
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
this is Isabelle theorem prover which helps formalizing and proving some paper proofs as well as mathematics proofs
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published