Viewing profile — prolapsis

There is a very useful website where you can prove these basic concepts one by one, they made a little game out of it, in order to show the underlying software, which is leanprover…

There is a website where you can prove these things one by one, they made a little game out of it, using the leanprover software. I highly recommend it! https://www.ma.imperial.ac.…