- Apr 18, 2025
-
-
Roland Coghetto authored
-
- Apr 17, 2025
-
-
Roland Coghetto authored
-
Roland Coghetto authored
-
Roland Coghetto authored
-
- Apr 16, 2025
-
-
Balazs Toth authored
-
Manuel Eberl authored
-
Manuel Eberl authored
-
- Apr 15, 2025
-
-
Manuel Eberl authored
-
Manuel Eberl authored
-
haftmann authored
-
Manuel Eberl authored
-
Manuel Eberl authored
-
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
-