Pages that link to "Item:Q2891399"

From MaRDI portal

← Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs (Q2891399)

Jump to:navigation, search

What links here

⧼whatlinkshere-whatlinkshere-target⧽

Page:

⧼whatlinkshere-whatlinkshere-ns⧽

Namespace:

Invert selection

⧼whatlinkshere-whatlinkshere-filter⧽

Hide transclusions

Hide links

Hide redirects

The following pages link to Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs (Q2891399):

Displaying 4 items.

A verified SAT solver framework with learn, forget, restart, and incrementality (Q1663234) (← links)
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality (Q2817909) (← links)
Formalizing Bachmair and Ganzinger's ordered resolution prover (Q5919011) (← links)
SeCaV: a sequent calculus verifier in Isabelle/HOL (Q6661151) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q2891399"