Matches for acl2, 6 total results Sorted by newest | relevance
10-02-2016 20:35:12 <asciilifeform> !s acl2
10-02-2016 20:35:11 <asciilifeform> the mega-champ is acl2.
18-01-2016 18:30:37 <ascii_butugychag> but not entirely unrelatedly, acl2 is a pretty spiffy thing
13-01-2016 17:26:27 <ascii_butugychag> apparently amd actually started proving their alu with acl2, in reaction to the intel fdiv scandal
06-01-2016 21:41:23 <ascii_butugychag> ;;later tell ben_vulpes ever work with ACL2 Theorem Prover ?