Diffusion afp-devel 967c3964d92c

merged
967c3964d92c
Actions

Tags

None

Subscribers

None

Description

merged

Details

Provenance

Julian Brunner <julianbrunner@gmail.com>

Authored on

Parents

rAFPb601b9236eb4: using NGBA emptiness check to decide NBA language containment
rAFP9792b8607ad6: Tuned MathJax templates

Branches

Unknown

Tags

Unknown

Event Timeline

Julian Brunner <julianbrunner@gmail.com> committed rAFP967c3964d92c: merged.Apr 22 2020, 9:01 PM

Merged Changes

b601b9236eb4 using NGBA emptiness check to decide NBA language containment
Author
Julian Brunner <julianbrunner@gmail.com>
Browse Repository
No Builds
No Audits
860a302c2e2e added NGBA algorithms
Author
Julian Brunner <julianbrunner@gmail.com>
Browse Repository
No Builds
No Audits
aa9f5a4ba71a refactoring
Author
Julian Brunner <julianbrunner@gmail.com>
Browse Repository
No Builds
No Audits
c634bd4453ee refactoring
Author
Julian Brunner <julianbrunner@gmail.com>
Browse Repository
No Builds
No Audits
a0d561998f20 closed branch
Author
kleing
Browse Repository
No Builds
No Audits
8e995d947fb0 closed pull-request branch
Author
Gerwin Klein <gerwin.klein@nicta.com.au>
Browse Repository
No Builds
No Audits
249c2b58d173 closed merged branch
Author
Gerwin Klein <gerwin.klein@nicta.com.au>
Browse Repository
No Builds
No Audits
ad14484777fc merged
Author
gerwin.klein@nicta.com.au
Browse Repository
No Builds
No Audits
e3e858bfc9eb merged
Author
kleing
Browse Repository
No Builds
No Audits
4bea345493dd Closed branch ltl
Author
Salomon Sickert <sickert@in.tum.de>
Browse Repository
No Builds
No Audits
53421953ad96 WIP/LTL Entry
Author
Salomon Sickert <sickert@in.tum.de>
Browse Repository
No Builds
No Audits

Changes (7)

Path

Size

admin/

sitegen-lib/

metadata/

templates/

thys/

Ordered_Resolution_Prover/

Inference_System.thy

Standard_Redundancy.thy

rAFP967c3964d92c

admin/sitegen-lib/templates.py

Loading...

metadata/metadata

Loading...

metadata/templates/entry.tpl

Loading...

metadata/templates/mathjax.tpl

Loading...

metadata/templates/submitting.tpl

Loading...

thys/Ordered_Resolution_Prover/Inference_System.thy

Loading...

thys/Ordered_Resolution_Prover/Standard_Redundancy.thy

Loading...