vix.ing
·
top
·
new
·
best
·
stats
·
spec
Julia Dijkstra
Verification of a DPLL Transition System in Rocq
2026/07/16 by
Julia Dijkstra
,
Benedikt Ahrens
#cs.LO