bibliographer - Axel Ljungstrøm

bibliographer a curated TCS bibliography

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

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory Tom de Jong Nicolai Kraus Axel Ljungstrøm [github]

Formalizing pi4(mathbbS^3) cong mathbbZ/2mathbbZ and Computing a Brunerie Number in Cubical Agda Axel Ljungstrøm Anders Mørtberg [github]

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

[show logs] [hide logs]