Ingo Wechsung's repositories
awesome-frege
:star: Useful resources for the Frege programming language
beweise
Spielereien mit dem Theorem Prover lean4
Language:LeanBSD-3-Clause000
combinators
SKI calculator in rust
:star: Useful resources for the Frege programming language
Spielereien mit dem Theorem Prover lean4
SKI calculator in rust