Pinned Repositories
edlib
Some personal experiments in Lean
hypergraph-games
An experiment with interactive lecture notes. Notes taken from the _hypergraph games_ graduate lecture course taught by Imre Leader at the University of Cambridge.
Isaac3D
A Google Cardboard app using Unity that visualises concepts in physics.
lean-chat-server
Server for lean-chat
lean-humanproof
Implementation of Gowers & Ganesalingam theorem prover in Lean
lean-humanproof-thesis
Implementation of HumanProof system from https://www.edayers.com/thesis
lean-subtask
Subtasks algorithm for Lean
leanhanoi
Tower of Hanoi in Lean!
Robotone
The 'Robot' theorem prover. Fork of github.com/mg262/research
sss
Python projects monorepo
EdAyers's Repositories
EdAyers/Robotone
The 'Robot' theorem prover. Fork of github.com/mg262/research
EdAyers/lean-humanproof
Implementation of Gowers & Ganesalingam theorem prover in Lean
EdAyers/lean-subtask
Subtasks algorithm for Lean
EdAyers/Isaac3D
A Google Cardboard app using Unity that visualises concepts in physics.
EdAyers/edlib
Some personal experiments in Lean
EdAyers/leanhanoi
Tower of Hanoi in Lean!
EdAyers/hypergraph-games
An experiment with interactive lecture notes. Notes taken from the _hypergraph games_ graduate lecture course taught by Imre Leader at the University of Cambridge.
EdAyers/lean-web-editor
Lean web editor
EdAyers/deno_types
A source for type definition files used in JavaScript libraries compatible with Deno
EdAyers/lean-client-js
EdAyers/lean-old
Lean Theorem Prover
EdAyers/mathlib
Lean mathematical components library
EdAyers/maze
EdAyers/SAD3
This is my 'tinkering fork' of SAD3. Development of the System for Automated Deduction - Proof Checking of Natural Mathematical Documents.
EdAyers/topos
Topos theory in lean
EdAyers/vscode-forthel
A simple vscode extension for ForTheL language support.