rocqide
| Link | package | bugs open | bugs closed | Wiki | GitHub | web search |
| Description | Interactive theorem prover, or proof assistant (GTK-based GUI) |
| Version |
9.1.1-1 [extra-testing] 9.1.0-4 [extra] |
| Link | package | bugs open | bugs closed | Wiki | GitHub | web search |
| Description | Interactive theorem prover, or proof assistant (GTK-based GUI) |
| Version |
9.1.1-1 [extra-testing] 9.1.0-4 [extra] |