Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

acl2

Analyzed 1 day ago

Community ACL2 System and Books The ACL2 theorem proving environment consists of two parts: The ACL2 System and The ACL2 Books. This repository contains both. Home pages are at: http://www.cs.utexas.edu/users/moore/acl2/ (ACL2 theorem prover) https://github.com/acl2/acl2 (community system + books repository).

16.2M lines of code

26 current contributors

2 days since last commit

2 users on Open Hub

Very High Activity

0 Reviews

I Use This

Mostly written in Lisp

Licenses: gpl

CVC4

Analyzed about 15 hours ago

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination.

388K lines of code

16 current contributors

1 day since last commit

1 users on Open Hub

High Activity

0 Reviews

I Use This

Mostly written in C++

Licenses: BSD-3-Clause

Tags arithmetics automated bitvector constraint firstorderlogic formula logic prover smt theoremproving theory tool