proost-assistant / ProostLean

An reimplementation of the Proost proof-assistant written in Lean 4
12Updated 8 months ago

Related projects

Alternatives and complementary repositories for ProostLean