All Git Users → kbuzzard

2 open source projects by kbuzzard

[ Open user page on Github ]

Lean Library currently studying for a degree at Imperial College

✭ 167

2. lean-stacks-project

Formal verification of parts of the Stacks Project in Lean

✭ 21

1-2 of 2 user projects