This website requires JavaScript.
Dashboard
Explore
Help
Sign In
Repositories
Users
Organizations
Search
Sort
Newest
Oldest
Alphabetically
Reverse alphabetically
Recently updated
Least recently updated
Most stars
Fewest stars
Most forks
Fewest forks
adbrucker / lh-l4v
Isabelle
0
0
seL4 specification and proofs
Updated
2024-01-27 14:09:40 +00:00
Isabelle_DOF / Isabelle_DOF
Isabelle
0
2
Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.
isabelle
ontology
certification
Updated
2024-04-16 09:11:13 +00:00
First
Previous
1
2
Next
Last