News for hackers. Stuff that matters.

A comment on Modeling Redux with TLA+. Parent comment

Re:Modeling Redux with TLA+ by hwayne on Tuesday March 13, 2018 @11:04AM (#16576655)
You might wanna check out ACL2, which is a theorem prover rooted in common lisp: http://www.cs.utexas.edu/users/moore/acl2/
[ Parent | on HN ]

There are no comments on this comment yet.