search

breck7 / pldb

PLDB: a Programming Language DataBase
https://pldb.io
727 stars 98 forks source link

Add appeared in screamer.pldb #444

Closed stavares843 closed 1 year ago

stavares843 commented 1 year ago

info from: https://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/lisp/code/ext/screamer/0.html

stavares843 commented 1 year ago

https://github.com/breck7/pldb/issues/110