Skip to content
This repository has been archived by the owner on Aug 30, 2021. It is now read-only.

Commit

Permalink
Merge branch 'master' of https://github.com/EdAyers/lean-humanproof
Browse files Browse the repository at this point in the history
  • Loading branch information
@EdAyers
EdAyers committed Aug 9, 2018
2 parents fd61e85 + 2dc110c commit 02a0bdb
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,3 +2,4 @@
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

0 comments on commit 02a0bdb

Please sign in to comment.