Home
Isabelle/Phabricator
Search
Configure Global Search
Log In
Paths
Table of Contents
t
Hide Panel
f
Keyboard Reference
?
Diffusion
Isabelle
10945fc183cd
added documentation about new order prover
10945fc183cd
Actions
Edit Commit
Download Raw Diff
Edit Related Objects...
Edit Revisions
Edit Tasks
Subscribe
Mute Notifications
Award Token
Flag For Later
Tags
None
Subscribers
None
Description
added documentation about new order prover
new prover for partial and linear orders by Lukas Stevens and Tobias Nipkow
See NEWS for more context
Details
Provenance
lukasstevens
Authored on
Parents
rISABELLE2aad8698f82f: tweaked
Branches
Unknown
Tags
Unknown
Event Timeline
lukasstevens
committed
rISABELLE10945fc183cd: added documentation about new order prover
.
Sep 30 2022, 12:44 PM
2022-09-30 12:44:21 (UTC+2)
makarius
mentioned this in
rISABELLE3c46356d241f: restore NEWS, before commit accidents 2aad8698f82f and 10945fc183cd;
.
Sep 30 2022, 7:46 PM
2022-09-30 19:46:25 (UTC+2)
makarius
mentioned this in
rISABELLE6ee5306d143a: more explanations on the new order prover (based on 10945fc183cd), without…
.