HomeIsabelle/Phabricator

enriched theorem proving library

Authored by blanchette.

Description

enriched theorem proving library

Details

Committed
blanchetteMon, May 18, 5:07 PM
Parents
rAFP19fa00c4832d: adapt to Isabelle 07c85c68ff03
Branches
Unknown
Tags
Unknown