bibliographer - Matt Bray

bibliographer a curated TCS bibliography

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

The Imandra Automated Reasoning System (system description) Grant Olney Passmore Simon Cruanes Denis Ignatovich Dave Aitken Matt Bray Elijah Kagan Kostya Kanishev Ewen Maclean Nicola Mometto [github]

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

[show logs] [hide logs]