acd on Quorum: The world's first evidence-oriented programming language · Hackerly

Comment on Quorum: The world's first evidence-oriented programming language

What about the coq proof assistant that must have been before this

https://coq.inria.fr