Page Menu
Home
Isabelle/Phabricator
Search
Configure Global Search
Log In
Queries
Open Tasks
All Tasks
Tag: isabelle-release
Tag: provers
Search
Advanced Search
Create Task
Maniphest
Tag: provers
Tag: provers
Use Results
Edit Query
Hide Query
Query
Assigned To
Tags
provers
Authors
Subscribers
Statuses
Priorities
Open Parents
(Show All)
Show Only Tasks With Open Parents
Show Only Tasks Without Open Parents
Open Subtasks
(Show All)
Show Only Tasks With Open Subtasks
Show Only Tasks Without Open Subtasks
Group By
Priority
Assigned
Status
Project
None
Order By
Priority
Date Updated (Latest First)
Date Updated (Oldest First)
Creation (Newest First)
Creation (Oldest First)
Date Closed (Latest First)
Title
Relevance
Created After
Created Before
Updated After
Updated Before
Closed After
Closed Before
Closed By
Page Size
Search
Normal (8)
T34
Update component for Vampire
isabelle-release
provers
Oct 19 2021, 10:08 PM
Assigned:
makarius
T30
Component and Isabelle/ML setup for Zipperposition
provers
Jan 7 2021, 1:17 PM
Assigned:
makarius
T29
Update component for Z3
provers
Nov 27 2021, 3:32 PM
T28
Update component for CVC4
isabelle-release
provers
Nov 22 2020, 1:45 PM
Assigned:
makarius
T27
Update component for SPASS
isabelle-release
provers
Oct 29 2020, 2:35 PM
Assigned:
makarius
T26
Update component for E prover
isabelle-release
provers
Oct 29 2020, 2:30 PM
Assigned:
makarius
T25
Update component for veriT
isabelle-release
provers
Oct 31 2020, 7:18 AM
Assigned:
mathias.fleury
T24
Missing minisat.dll for nitpick/kodkod on Windows (and Apple Silicon)
isabelle-release
provers
Oct 19 2021, 10:06 PM
Assigned:
makarius
Wishlist (1)
T20
Sledgehammer/z3: "bad SMT term: _"
provers
Oct 29 2020, 5:20 PM