bibliographer - Jasmin Christian Blanchette

bibliographer a curated TCS bibliography

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

Mining the Archive of Formal Proofs Jasmin Christian Blanchette Maximilian Haslbeck Daniel Matichuk Tobias Nipkow [github]

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]

Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder Jasmin Christian Blanchette Tobias Nipkow [github]

A Learning-Based Fact Selector for Isabelle/HOL Jasmin Christian Blanchette David Greenaway Cezary Kaliszyk Daniel Kühlwein Josef Urban [github]

A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds Jasmin Christian Blanchette [github]

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

Formalizing the metatheory of logical calculi and automatic provers in Isabelle/HOL (invited talk) Jasmin Christian Blanchette [github]

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

[show logs] [hide logs]