Beast code in Giters

Heather Macbeth's repositories

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

Language:HTML157 3 11

A tutorial on doing proofs with a computational flavour in the Lean proof assistant, and particularly on using the tactic polyrith

Language:HTML200

Language:Lean000

Language:Lean000

Language:LeanApache-2.0000

Lean 4 programming language and theorem prover

Language:LeanApache-2.0000

LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.

Language:LeanApache-2.0000

Small Sphinx project with Lean 4 code, for testing with Alectryon

Language:Pascal000

Standard Library for Lean 4

Language:LeanApache-2.0000

Python script to give some basic turtle graphics functionality on top of matplotlib

Language:PythonGPL-3.0000

Naive reimplementation of the Lean "tauto" tactic

Language:Lean000

blueprint for prime number theorem and more

Language:LeanApache-2.0000