Arc Forumnew | comments | leaders | submitlogin
2 points by evanrmurphy 4204 days ago | link | parent

They have a web-based repl/tutorial at http://tryacl2.org/

The neatest thing I've found on there so far is the theorem proving abilities. Lesson 3 shows you can input things like (thm (= (+ a b) (+ b a))) and it will return a proof that the sum of a and b is equal to the sum of b and a.