Page Menu
Home
Isabelle/Phabricator
Search
Configure Global Search
Log In
Queries
All Documents
Open Documents
Open Tasks
Search
Advanced Search
Search
Open Tasks
Open Tasks
Use Results
Edit Query
Hide Query
Query
Document Status
Open
Closed
Document Types
Maniphest Task
Authors
Owners
Subscribers
Tags
Search
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