hpr3801 :: Enter the gopher
Participating in the gopher internet protocol
Correspondent
screwtape
: 416
screwtape.nospam@nospam.sdf.org
Hi everyone! I like to write on the gopher and in common lisp. I am experimenting with idiomatic inclusion of formal ACL2 first order logic as part of larger ASDF3 common lisp system definitions that include side-effect modules.
You might know me from the gopher. gopher.club/1/users/screwtape
I normally use openbsd, but in different contexts I often use NetBSD or FreeBSD and I also use Gentoo and Debian linux.
2
hpr3789 :: Common lisp portable games including acl2 formal logic
Describing exploratory libre common lisp portable games I am using acl2 formal methods in modules of