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
pierre.derathe / Isabelle_DOF
Isabelle
0
0
Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.
Updated
2023-02-20 11:29:15 +00:00
adbrucker / lh-l4v
Isabelle
0
0
seL4 specification and proofs
Updated
2024-01-27 14:09:40 +00:00
First
Previous
1
2
Next
Last