HPR3789: Common lisp portable games including acl2 formal logic
🔒
https://hackerpublicradio.org
«Source I was looking through while talking WIP:
gopher://gopher.club/1/users/screwtape/car-game
Compilers:
sbclhttps://sbcl.org/
eclhttps://ecl.common-lisp.dev/
acl2https://www.cs.utexas.edu/users/moore/acl2/manuals/curr...»
Automatische Weiterleitung...
1.5s