Implementation of Gowers & Ganesalingam theorem prover in Lean.
See https://arxiv.org/pdf/1309.4501.pdf for a description. The original implementation in Haskell: https://github.com/EdAyers/Robotone
This repository has been archived by the owner on Aug 30, 2021. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
EdAyers/lean-humanproof
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Implementation of Gowers & Ganesalingam theorem prover in Lean
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published