← Feed @cosmo@mathstodon.xyz Post #2780918 2026-03-05 16:44 UTC @mevenlennonbertrand@lipn.info I wrote a short summary about the proofs of false found in Rocq and Lean: https://tristan.st/blog/in_search_of_falsehood Replies (0) No replies.