from Hacker News

fennecs

joined 4/7/21, 1:14 AM has 250 karma

• Holbert: An Interactive Theorem Prover

  by fennecs on 5/26/22, 5:50 AM, with 9 comments

• Tyre Extinguishers

  by fennecs on 3/16/22, 2:39 AM, with 33 comments