Top Network Posts
- 35What was the first bit of mathematics that made you realize that math is beautiful? (For children's book)
- 22How do they verify a verifier of formalized proofs?
- 20Using the Logic Monad in Haskell
- 18Is First Order Logic (FOL) the only fundamental logic?
- 13haskell - Average floating point error using QuickCheck
- 10What does "EquationalLogic`FindCounterexample" do?
- 10Finding a Concave Hull
- View more network posts →