LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Isabelle

AOT

Embedding of The Theory of Abstract Objects in Isabelle/HOL

IsabelleEmerging

Stars

32

Forks

—

Contributors

1

Last push

2mo ago

Recent commits

Latest commits.

Remove leftover find_theorem commands and obsolete AOT_ExtendedRelationComprehension theory
9a165b4Daniel Kirchner2mo ago
Minor update.
f2097f6Daniel Kirchner2mo ago
Replace Z3 with verit avoiding possible issues on arm-based systems.
9b5a427Daniel Kirchner2mo ago
Remove obsolete misc theorems.
b65c24eDaniel Kirchner2mo ago
Progress on Hype and Natural Numbers.
5f21618Daniel Kirchner7mo ago

Finish routley-star.

948c516Daniel Kirchner7mo ago

Truthmaker Semantics

3d917ffDaniel Kirchner7mo ago

Progress on AOT_NaturalNumbers.

d0b734bDaniel Kirchner8mo ago

Top contributors

Builders behind this project.