famubu
/
playground
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
playground/misc
History
Julin S 3db48e8232 include old haskell files 2023-05-23 22:52:25 +05:30
..
bluespec include old haskell files 2023-05-23 22:52:25 +05:30
README.org add few old coq files 2023-05-22 14:41:06 +05:30
acl2-hello.lisp include old haskell files 2023-05-23 22:52:25 +05:30
hello-acl2.lisp various old stuff 2023-04-26 22:32:37 +05:30
minlog-hello.scm add few old coq files 2023-05-22 14:41:06 +05:30
my-nat.maude various old stuff 2023-04-26 22:32:37 +05:30
rle.idr more files including prf files of pvs 2023-05-23 22:25:17 +05:30
uclid5-hello.ucl add a bunch of old files 2023-05-23 22:04:54 +05:30

README.org

Misc

ACL2 proof assistant:

  • hello-acl2.lisp

Maude model cheker:

  • my-nat.maude

minlog:

  • minlog-hello.scm