#494491 RFP: isabelle -- Generic theorem proving environment

Package:
wnpp
Source:
wnpp
Submitter:
Lionel Elie Mamane
Date:
2017-04-08 07:09:04 UTC
Severity:
wishlist