proof-logic Activity
Proof Logic : A logical framework for theorem proving
Status: Beta
Brought to you by:
jacbailhache
Activity for proof-logic
-
proof-logic updated /pl-v8.tgz
-
-
-
-
-
1
