gio54321
Blog
About
Tag: Logic
September 17, 2021
Intuitionism does not refute excluded middle
February 6, 2020
A simple Hoare triple prover