acl2

There are 0 repository under acl2 topic.

acl2 / acl2
ACL2 System and Books as Maintained by the Community
acl2 theorem-prover theorem-proving common-lisp rewriting formal-verification formal-methods first-order-logic logic
Language:Common Lisp 336
tani / acl2-kernel
Jupyter Kernel for ACL2
acl2 jupyter jupyter-kernel theorem-prover
Language:Jupyter Notebook 4
mister-walter / acl2-docker
A Docker image for the ACL2 theorem proving system and books
acl2 docker theorem-proving
Language:Dockerfile 3
zchn / eth-acl2
An ACL2 formalization of the Ethereum VM, aiming to be both executable and suitable for proving interesting properties of EVM contracts.
ethereum acl2 formal-methods verification proofs evm formalization
Language:Common Lisp 3
xieyuheng / skolem
an ACL2 style theorem prover with structural diff, embedded in scheme.
acl2 prover scheme structural-diff
Language:Scheme 1
mister-walter / acl2s-docker
A Docker image for the ACL2 Sedan extension to the ACL2 theorem proving system
acl2 docker theorem-proving
Language:Dockerfile 0
wescodestech / spring-2013-se2-dijkstra
University of Oklahoma Senior Capstone Project - Functional Programming an Email Client/Server system with ACL2 Theorems
acl2 java common-lisp
Language:Common Lisp 0
jaalonso / Cursos_de_RA
Recopilación de cursos de razonamiento automático.
automated-reasoning interactive-theorem-proving proof-assistant courses isabelle-hol coq pvs acl2 agda lean prover9 otter
jakeisnt / acl2s-flake
Build ACL2s from a Nix flake
acl2 nix nix-flake acl2s
Language:Nix
jimmysitu / jmACL2
JM's ACL2 playground
acl2 formal-methods formal-verification
Language:Common Lisp

acl2

acl2 / acl2

tani / acl2-kernel

mister-walter / acl2-docker

zchn / eth-acl2

xieyuheng / skolem

mister-walter / acl2s-docker

wescodestech / spring-2013-se2-dijkstra

jaalonso / Cursos_de_RA

jakeisnt / acl2s-flake

jimmysitu / jmACL2