The following pages link to Coherent models of proof nets (Q1325054):
Displaying 10 items.
- On the Jordan-Hölder decomposition of proof nets (Q1386676) (← links)
- Coherence for sharing proof-nets (Q1398472) (← links)
- Proof nets of PN as graphs (Q1805403) (← links)
- Sequent reconstruction in LLM -- A sweepline proof (Q1892938) (← links)
- Proof diagrams for multiplicative linear logic: syntax and semantics (Q2331072) (← links)
- A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses (Q3100209) (← links)
- (Q4256312) (← links)
- A new deconstructive logic: linear logic (Q4372906) (← links)
- Coherence for sharing proof nets (Q5055862) (← links)
- Integration of multiple formal matrix models in Coq (Q6168985) (← links)