Custom Query (12 matches)

Filters
 
Columns

Show under each result:

Status: closed (3 matches)

Ticket Summary Owner Type Priority Component Version
#514 Timig problems with DaVinci / uDrawGraph raider bug major third-party 0.8
#175 Implement extended signatures maeder feature minor hets 0.8
#494 refactor fgl maeder feature minor third-party 0.8

Status: new (9 matches)

Ticket Summary Owner Type Priority Component Version
#117 adapt terminology for symbols mcodescu task major logic 0.66
#325 non-monotonic logics till task major casl-ext 2.0
#328 Look at jETI till task major hets
#330 learn from failed proof attempts dodi task major provers 0.8
#333 Parser for the DIMACS format luecke task major hets 0.7
#204 Integrate PVS into Hets maeder task minor provers 0.66
#306 Connect theorem proving tools written in Haskell to Hets maeder task minor casl-ext 0.66
#454 refactor generation of `Modal.ModalSystems` codruta task minor casl-ext 0.75
#414 refine implementation of renaming classes and types maeder feature trivial logic-hascasl 0.8
Note: See TracQuery for help on using queries.