proof-general
JSON →Emacs-based generic interface for theorem provers, includes coqtags CLI. Available on Homebrew.
Traffic · last 30 days stale · no recent hits
total hits 8
actors 2 distinct systems
last hit 20d ago AhrefsBot
top countries 🇸🇬 Singapore · 🇺🇸 United States · 🇨🇦 Canada
Resources
homepageproofgeneral.github.io ↗