bibliographer - Jørgen Villadsen

bibliographer a curated TCS bibliography

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

Isabelle/HOL as a Meta-Language for Teaching Logic Asta Halkjær From Jørgen Villadsen Patrick Blackburn [github]

Programming and verifying a declarative first-order prover in Isabelle/HOL Alexander Birch Jensen John Bruntse Larsen Anders Schlichtkrull Jørgen Villadsen [github]

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

[show logs] [hide logs]