HPR3789: Common lisp portable games including acl2 formal logic
Hosted by screwtape on 2023-02-09 00:00:00 Download or Listen
Source I was looking through while talking WIP:
gopher://gopher.club/1/users/screwtape/car-game
- Compilers:
- System definition:
- Books mentioned:
- Land of Lisp
- Advances in Formal methods (whatever by Kaufmann)
Comments
More Information...
Copyright Information
Unless otherwise stated, our shows are released under a Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) license.
The HPR Website Design is released to the Public Domain.