Return to the formalization wiki

added 97 characters in body

Source Link

edit approved Oct 8, 2015 at 13:45

Peter LeFanu Lumsdaine

21.3k
2
75
128

Questions on the computer-formalisation of mathematics, in proof assistants and related software

Link

created Oct 8, 2015 at 13:11

1
2
3