Ed Ayers EdAyers

• Cogna Ltd

• Cambridge, UK
• edayers.com
• @ewayers

Sponsoring

Organizations

Popular repositories Loading

1. The 'Robot' theorem prover. Fork of github.com/mg262/research

   Haskell 12 3

2. Implementation of Gowers & Ganesalingam theorem prover in Lean

   Lean 6

3. Subtasks algorithm for Lean

   Lean 5 1

4. Implementation of HumanProof system from https://www.edayers.com/thesis

   Lean 5

5. A Google Cardboard app using Unity that visualises concepts in physics.

   C# 4 2

6. Some personal experiments in Lean

   Lean 2