Hacker Public Radio

Your ideas, projects, opinions - podcasted.

New episodes Monday through Friday.

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:


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.