bibliographer - Daniel R. Licata

bibliographer a curated TCS bibliography

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

Calculating the Fundamental Group of the Circle in Homotopy Type Theory Daniel R. Licata Michael Shulman [github]

A Constructive Model of Directed Univalence in Bicubical Sets Matthew Z. Weaver Daniel R. Licata [github]

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

[show logs] [hide logs]