GitHub / logicalhacking / Featherweight_OCL
Local mirror of Featherweight OCL entry of the Archive of Formal Proofs (AFP).
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/logicalhacking%2FFeatherweight_OCL
Stars: 4
Forks: 0
Open issues: 0
License: bsd-3-clause
Language: Isabelle
Size: 446 KB
Dependencies parsed at: Pending
Created at: over 8 years ago
Updated at: 6 months ago
Pushed at: about 3 years ago
Last synced at: about 2 months ago
Topics: firewall, formal-proofs, hol, holocl, isabelle-hol, ocl, verification
Loading...