For use with the proof assistant Isabelle with classical higher-order logic.
References:
Isabelle/HOL sessions
About
Stats
|
created |
2 years, 5 months ago |
|
viewed |
4 times |
|
active |
2 years, 5 months ago |
|
editors |
1 |
Top Answerers
more »
Recent Hot Answers
What are some useful resources for a mathematician interested in learning Isabelle/HOL?Tracing the classical reasoner in Isabelle
Is there an elegant way of proving an equality A=B by going in both directions?
How does a logical framework become a meta-logical framework?
How to write a low-level proof in Isar?
more »