- Apr 15, 2025
-
-
Fabian Huch authored
-
- Apr 14, 2025
-
-
Manuel Eberl authored
-
Rene Thiemann authored
-
Rene Thiemann authored
-
Rene Thiemann authored
-
Rene Thiemann authored
-
Rene Thiemann authored
-
Rene Thiemann authored
-
- Apr 13, 2025
- Apr 09, 2025
-
-
Lawrence Paulson authored
-
Lawrence Paulson authored
-
- Apr 02, 2025
-
-
Manuel Eberl authored
-
Manuel Eberl authored
-
Manuel Eberl authored
-
Manuel Eberl authored
-
Manuel Eberl authored
-
- Mar 25, 2025
-
-
Fabian Huch authored
-
nipkow authored
-
- Apr 12, 2025
-
-
Lawrence Paulson authored
-
- Apr 09, 2025
-
-
Rene Thiemann authored
remove dependence that Transitive-Closure requires collection framework (switch to use HOL-Library.RBT directly)
-
Lawrence Paulson authored
-
paulson authored
-
Lawrence Paulson authored
-
Rene Thiemann authored
-
- Apr 08, 2025
-
-
Lawrence Paulson authored
-
- Apr 06, 2025
-
-
haftmann authored
-
- Apr 05, 2025
-
-
nipkow authored
-
haftmann authored
-
Lawrence Paulson authored
-
- Apr 04, 2025
-
-
Lawrence Paulson authored
-
haftmann authored
-
haftmann authored
-
haftmann authored
-
- Apr 03, 2025
-
-
Lawrence Paulson authored
-
- Apr 02, 2025
-
-
Manuel Eberl authored
-
Manuel Eberl authored
-
Manuel Eberl authored
-
Manuel Eberl authored
-