Loreon
Labs
Platform
Search…
⌘K
Docs
Home
Ecosystems
Isabelle
Bamberg_Nov_2025
ekpyron/Bamberg_Nov_2025
Isabelle
Emerging
GitHub
Stars
—
Forks
—
Contributors
1
Last push
7mo ago
Recent commits
Latest commits.
Add closures of "axioms".
06234f7
Daniel Kirchner
7mo ago
Minor adjustments.
0569439
Daniel Kirchner
7mo ago
Add theory about choice operators.
fbd935b
Daniel Kirchner
7mo ago
Add some references.
5704a35
Daniel Kirchner
7mo ago
Minor adjustments.
e90e58d
Daniel Kirchner
7mo ago
Add note.
90e2136
Daniel Kirchner
7mo ago
Add System Q0
25c7593
Daniel Kirchner
7mo ago
Add Church's Simple Theory of Types.
3c8e02e
Daniel Kirchner
7mo ago
Top contributors
Builders behind this project.
ekpyron
11 commits
