Browse New Popular Submit a Link
All ArtsBusinessChildrenComputersGamesHealthHomeNewsRecreationReferenceRegionalScienceShoppingSocietySports
Advertise herefrom $25.00/day  ·  RON $40.00/day

Proof General

proofgeneral.inf.ed.ac.uk
Visit Site

Comprehensive Gnu-Emacs and XEmacs interface for several theorem provers including Coq, Isabelle, Lego, and Phox.

Category
Software
Visits
420
Added
Jun 1, 2024
Rating
(148)
Rate This Site
More in Software Report
Advertise herefrom $12.00/day  ·  RON $18.00/day
Advertise herefrom $10.00/day  ·  RON $15.00/day
Advertise herefrom $8.00/day  ·  RON $11.20/day
Submit Your Site

Add your website to our directory for free.

Submit a Link
Related Links
Bertrand 498 visits
Logic Software from CSLI 475 visits
Database of Existing Mechanized Reasoning Systems 457 visits
VeriFun 450 visits
SwitchMin Digital Circuit Minimizer 448 visits
Advertise herefrom $15.00/day  ·  RON $21.00/day