home | log | search | bash | stats | wiki


Matches for acl2, 6 total results Sorted by newest | relevance

10-02-2016 20:35:12  <asciilifeform>   !s acl2

10-02-2016 20:35:12  <assbot>   3 results for 'acl2' : http://s.b-a.link/?q=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 ?