login sign up

Definitional Proof Irrelevance Without K

jesper.sikanda.be
saved by
0 people
related read on
Learning Lean: Part 1 from the discussion