Search Open Documents

Open Documents
Use Results
Edit Query
Hide Query

	Open
	Closed

lukasstevens (Lukas Stevens)
User
kleing (Gerwin Klein)
User
peter_lammich (Peter Lammich)
User
isabelle-dev (Isabelle development)
User
lukas.bulwahn (Lukas Bulwahn)
User
dcjm (David Matthews)
User
florian.haftmann (Florian Haftmann)
User
blanchette (Jasmin Blanchette)
User
pruvisto (Manuel Eberl)
User
immler (Fabian Immler)
User
alexander.krauss (Alexander Krauss)
User
kappelmann (Kevin Kappelmann)
User
traytel (Dmitriy Traytel)
User
makarius (Makarius Wenzel)
User
T31: Improve robustness of multithreaded Kodkod in Isabelle/Scala
Maniphest Task
T29: Update component for Z3
Maniphest Task
T23: More compact representation of type instances of term constants
Maniphest Task
T21: Unexpected failure of method "algebra"
Maniphest Task
T20: Sledgehammer/z3: "bad SMT term: _"
Maniphest Task
T16: Clarify indentation after 'oops'
Maniphest Task
T15: Localized record package
Maniphest Task
T14: Fully localized type abbreviations
Maniphest Task
T13: Isabelle/jEdit indenting
Maniphest Task
T11: HOL-Quickcheck_Examples fails on Windows
Maniphest Task
T10: Font rendering quality in OpenJDK 11 vs. 17
Maniphest Task
T9: Evaluate https://discourse.org as replacement for mailman, stackoverflow
Maniphest Task
T7: Setup Notification server
Maniphest Task
T5: Syntax highlighting via pygments (for Isabelle/ML, Isabelle/Isar etc.)
Maniphest Task
T4: Explore Java Chromium Embedded for HTML/CSS/JS within Swing
Maniphest Task
Overview
Dashboard
W1 Isabelle Development
Panel
provers
Project
isabelle-release
Project
isabelle-repository
Project
phabricator-setup
Project
rWEBSITE isabelle-website
Repository
rPOLYML Poly/ML
Repository
rAFP afp-devel
Repository
rISABELLE Isabelle
Repository
rISABELLE96f60533ec1d: update Windows test machines;
Diffusion Commit
rISABELLE40a3fc07a587: More tidying of proofs
Diffusion Commit
rAFPecd8c892f11e: tuned proofs: make it work on Windows;
Diffusion Commit
rAFPf79070b39fe2: proper platform_path for Windows;
Diffusion Commit
rAFP29314eac2682: more robust and more portable, notably for Windows;
Diffusion Commit
rISABELLEb156869b826a: Another Nominal example
Diffusion Commit
rISABELLE8e168a3d2a23: merged
Diffusion Commit
rISABELLEcf11a7f0a5f0: Tidying up another Nominal example (SOS)
Diffusion Commit
rAFP0e05592c7e5e: Removed obsolete LaTeX commands.
Diffusion Commit
rISABELLE0eff7d113549: update Windows build host;
Diffusion Commit
rISABELLEcfe18c31725c: proper command-line;
Diffusion Commit
rISABELLE378593bf5109: Tidying up another of the nominal examples
Diffusion Commit
rISABELLE34e0ddfc6dcc: More tidying of Nominal proofs
Diffusion Commit
rAFPa23e9762512e: added contributor
Diffusion Commit
rISABELLE022a9c26b14f: Tidied up another messy theory
Diffusion Commit
rISABELLE6d56e85f674e: More proof tidying for Nominal
Diffusion Commit
rAFP3133b6848037: merged
Diffusion Commit
rAFP2a6196e5b347: feat(Transport) add simpler function type introduction rule for extend
Diffusion Commit
rAFP237996782d80: feat(Transport) functions as binary relations, improved mono notation, make non…
Diffusion Commit
rAFPfe57a84f565f: feat(ML_Unificaiton) repeated resolution tactics, tactics now proving theorems…
Diffusion Commit
rAFPf3289a39d4bf: updated:Standard Borel Spaces
Diffusion Commit
rISABELLEfec5a23017b5: Tidying up more messy proofs
Diffusion Commit
rAFP22721115789f: Miscellaneous changes to Complex_Bounded_Operators.
Diffusion Commit
rISABELLEa30a1385f7d0: Starting to tidy HOL-Nominal-Examples
Diffusion Commit
rAFPe3e5ef410780: Frequency_Moments: Add tutorial on pseudorandom objects.
Diffusion Commit
rAFP716e68f04275: Universal_Hash_Families: Remove obsolete code.
Diffusion Commit
rAFP6e02e9bc874d: Frequency_Moments, Distributed_Distinct_Elements: Remove obsolete code.
Diffusion Commit
rAFP1b546d918c0c: Finite_Fields, Universal_Hash_Families, Concentration_Inequalities: Add various…
Diffusion Commit
rAFP672eb4689f1a: merged
Diffusion Commit
rAFP8bc05281a185: Exchanged the while-loop and tail-recursive versions of the definitions
Diffusion Commit
rAFP3f3f3b9278b9: merge
Diffusion Commit
rAFP25dbc1e991c8: rerun sitegen after merge from AFP 2023
Diffusion Commit
rAFP2548b08bc3c4: merge from AFP 2023
Diffusion Commit
rAFP00fb7d6558e5: metadata and sitegen for MFOTL_Checker
Diffusion Commit
rAFPcda88c9fcbf9: new entry: MFOTL_Checker
Diffusion Commit
rAFPdbe1aa3fe16e: New entry: ConcurrentHOL
Diffusion Commit
rAFP5492883fb017: Uncertainty_Principle sitegen
Diffusion Commit
rAFP4ecda9e9f43b: New entry /Users/lp15/.isabelle/Isabelle2023/browser_info/AFP/Uncertainty_Princ…
Diffusion Commit
rAFP51fb7da70175: sitegen for Broadcast_Psi
Diffusion Commit
rAFP31ea85757858: new entry Broadcast_Psi
Diffusion Commit
rAFPac2384b8b86d: merged
Diffusion Commit
rAFP105bd5da5e7e: Updated KnuthMorrisPratt to include new definitions by Christian Zimmerer using…
Diffusion Commit
rAFPdb43b58419ea: Removed unnecessary theory file 'Doob_Convergence.thy'
Diffusion Commit
rAFP59321c4a59e5: Updated Doob_Convergence to use the newest version of Martingales
Diffusion Commit
rISABELLE0c51e0a6bc37: sketch & explore: recover from duplicate fixed variables in Isar proofs
Diffusion Commit
rISABELLE12ce957231e0: back to post-release mode -- after fork point;
Diffusion Commit
rISABELLEbc450c8754ef: merged
Diffusion Commit
rISABELLEe07f29df1c67: Added tag Isabelle2024-RC2 for changeset ef2134570abb
Diffusion Commit
rISABELLEe414bcc5a39e: Acknowledgement of Ata Keskin for his Martingales material
Diffusion Commit
rAFPd8aa8cc91178: added equivalence of concepts between First_Order_Terms.Position and HOL…
Diffusion Commit
rISABELLEef2134570abb: merged
Diffusion Commit
rISABELLE68fc6839679e: update to jdk-21.0.3;
Diffusion Commit
rISABELLE8262d4f63b58: merged
Diffusion Commit
rISABELLE601ff5c7cad5: Tidied up horrible archaic proofs
Diffusion Commit
rISABELLE2fe244c4bb01: clarified signature;
Diffusion Commit
rISABELLE39f9084a9668: make adhoc_overloading respect type constraints
Diffusion Commit
rAFP900cfb1adad1: added lemmas inj_on_Fun_fun[simp], inj_on_Fun_args[simp], and inj_on_Fun[simp]
Diffusion Commit
rISABELLEb73df63e0f52: merged
Diffusion Commit
rISABELLE761bd2b35217: tuned;
Diffusion Commit
rISABELLE455ddb251ece: clarified signature;
Diffusion Commit
rISABELLE7e4c3bb3d062: minor performance tuning: avoid redundant server access;
Diffusion Commit

Open DocumentsUse ResultsEdit QueryHide Query

Open Documents
Use Results
Edit Query
Hide Query