4 ms·This nonsense sounds a lot like programming in Coq.by mvh 6y agoThis nonsense sounds a lot like programming in Coq.