bibliographer - Mathias Fleury

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic Julian Biendarra Jasmin Christian Blanchette Aymeric Bouzy Martin Desharnais Mathias Fleury Johannes Hölzl Ondřej Kunčar Andreas Lochbihler Fabian Meier Lorenz Panny Andrei Popescu Christian Sternagel René Thiemann Dmitriy Traytel [github]

A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality Jasmin Christian Blanchette Mathias Fleury Peter Lammich Christoph Weidenbach [github]

Library Size: 13G (2 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]