bibliographer - Bohua Zhan

bibliographer a curated TCS bibliography

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

Learning One-Clock Timed Automata Jie An Mingshuai Chen Bohua Zhan Naijun Zhan Miaomiao Zhang [github]

holpy: Interactive Theorem Proving in Python Bohua Zhan [github]

Smooth manifolds and types to sets for linear algebra in Isabelle/HOL Fabian Immler Bohua Zhan [github]

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

[show logs] [hide logs]