We use the Isabelle2019 proof assistant.
To learn more about the project please visit the dedicated stream on the Isabelle Zulip chat https://isabelle.zulipchat.com/.
forked from AnthonyBordg/Isabelle_marries_Dirac
-
Notifications
You must be signed in to change notification settings - Fork 0
Lachnitt/Isabelle_marries_Dirac
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A certified library of quantum computing using the Isabelle proof assistant
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Isabelle 100.0%