Packages tagged theorem-provers

52 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (40), bsd3 (27), formal-methods (21), program (20), smt (14), math (11), symbolic-computation (10), gpl (7), deprecated (6), logic (6), bit-vectors (4), algorithms (2), compilers-interpreters (2), game (2), mathematics (2), maths (2), mit (2), mpl (2), bioinformatics (1), codec (1), constraints (1), dependent-types (1), ...