Nested_Multisets_Ordinals Dependents

2021

Combinatorial Design Theory

by Chelsea Edmonds and Lawrence C. Paulson

Aug 13

Formalization of Timely Dataflow's Progress Tracking Protocol

by Matthias Brun, Sára Decova, Andrea Lattuada and Dmitriy Traytel

Apr 13

2020

Practical Algebraic Calculus Checker

by Mathias Fleury and Daniela Kaufmann

Aug 31

2018

A Verified Functional Implementation of Bachmair and Ganzinger's Ordered Resolution Prover

by Anders Schlichtkrull, Jasmin Christian Blanchette and Dmitriy Traytel

Nov 23

Formalization of Bachmair and Ganzinger's Ordered Resolution Prover

by Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel and Uwe Waldmann

Jan 18

2016

Formalization of Knuth–Bendix Orders for Lambda-Free Higher-Order Terms

by Heiko Becker, Jasmin Christian Blanchette, Uwe Waldmann and Daniel Wand

Nov 12

Formalization of Recursive Path Orders for Lambda-Free Higher-Order Terms

by Jasmin Christian Blanchette, Uwe Waldmann and Daniel Wand

Sep 23