bibliographer - Freek Wiedijk

bibliographer a curated TCS bibliography

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

History of Interactive Theorem Proving John Harrison Josef Urban Freek Wiedijk [github]

Proviola: A Tool for Proof Re-animation Carst Tankink Herman Geuvers James McKinna Freek Wiedijk [github]

The meaning of infinity in calculus and computer algebra systems Michael Beeson Freek Wiedijk [github]

The challenge of computer mathematics Henk Barendregt Freek Wiedijk [github]

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

[show logs] [hide logs]