Top network posts
- 34What 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
- 17Is First Order Logic (FOL) the only fundamental logic?
- 12haskell - Average floating point error using QuickCheck
- 10What does "EquationalLogic`FindCounterexample" do?
- 10Finding a Concave Hull
- View more network posts →
Keeping a low profile.
This user hasn't posted... yet.