News for hackers. Stuff that matters.

A comment on Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless.

Re:Lies, Damned Lies and Proofs: Formal Methods Are Not Slop... by psuedobrain on Saturday January 17, 2026 @05:29AM (#46656910)
Slight nitpick, but isn't Agda based on the MLTT family instead of CoC family of languages?
[ Parent | on HN ]

There are no comments on this comment yet.