Packages tagged formal-methods

43 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (41), bsd3 (26), theorem-provers (21), smt (15), symbolic-computation (13), language (10), math (9), program (9), mit (8), gpl (7), bit-vectors (5), concurrency (5), game (2), logic (2), mathematics (2), maths (2), mpl (2), optimization (2), algorithms (1), compiler-plugin (1), ...