Skip to content
GitLab
Explore
Sign in
Register
isa-afp
afp-testboard-old
Repository
Branches
Overview
Active
Stale
All
branch/default
default
6a40d725effa
·
test
·
May 02, 2023
wild/6a40d725effa44ee9f8fa7fb03d6f1b9db43cf5d
6a40d725effa
·
test
·
May 02, 2023
wild/6328e25d6d57bce4c1e5f02a034e7c4a825d2514
6328e25d6d57
·
fix dangerous context management
·
Nov 26, 2021
wild/a2b3a17e295d965452d2b62c0e07f3a807dbafd1
a2b3a17e295d
·
fix dangerous context management
·
Nov 26, 2021
branch/website-redesign
5f2eb2ceef51
·
moved extraction of related entries to hugo;
·
Nov 25, 2021
wild/6605df023b1a460037b890a8ad14fe8765137660
6605df023b1a
·
feat(SpecCheck) add new entry SpecCheck
·
Jun 28, 2021
wild/de025214e3963beefec8d379e732e63ebe4d3459
de025214e396
·
feat(SpecCheck) add new entry SpecCheck
·
Jun 28, 2021
wild/ab11d512034650dfe402f333c7b5bc1420ae12df
ab11d5120346
·
merge optimized RBT_Impl
·
Jan 13, 2021
wild/d2ac6cb14eff7eab402cf54b3a3fcc73e2394c21
d2ac6cb14eff
·
more efficient union and intersection on RBTs
·
Jan 04, 2021
wild/bb160115a2179f3f3125a7176360f59e453c8482
bb160115a217
·
Isabelle_Meta_Model: avoid multiple use of ML_file
·
Dec 31, 2020
wild/b8423de2be60300566ae72d197b6edefa22a0a03
b8423de2be60
·
Increased modularity of the theories in Hybrid_Systems_VCs by separating...
·
Dec 13, 2020
wild/62b5836207b02ee304c9a7422094563c6da2fc5e
62b5836207b0
·
Test
·
Sep 10, 2020
wild/3ce8f73d277bc9542a75434a119ac508de1102e8
3ce8f73d277b
·
Extended Stirling's formula to complex numbers
·
May 04, 2020
wild/e5c7e627467e0868e5e50845abf1338436bc7b77
e5c7e627467e
·
Substitution in LTL DNF formulas
·
Mar 17, 2020
wild/90e3fddb287966f14e71fc0a46e6527822a911b7
90e3fddb2879
·
refactoring
·
Feb 16, 2020
wild/fbb6f64ec146057b3a43d9ca8e997312b3d39e0d
fbb6f64ec146
·
generalized degeneralization
·
Feb 08, 2020
wild/6c51623b69037f6c469b97095cce94c275a30481
6c51623b6903
·
Added von Staudt–Clausen theorem to Bernoulli
·
Nov 14, 2019
wild/2353eca7413d2a2ef053a7886bdf29acf5e584a7
2353eca7413d
·
Multivariate_Analysis as (tentative) canonical entry point
·
Aug 28, 2019
wild/cf49f0e51439c3316ac2f18b15bdff23607ca73e
cf49f0e51439
·
merged
·
Aug 28, 2019
wild/543e7034281e51b9e94cf2ea6f6486318101fd4d
543e7034281e
·
Ordinary_Differential_Equations depends on Lipschitz
·
Aug 27, 2019
Prev
1
2
3
4
5
6
Next