librarian a book library

Concrete Semantics - A Proof Assistant Approach Algorithmic Game Theory Mathematics of Choice - How to Count without Counting The Invisible Computer
Emotional Design - Why we Love or Hate everyday things Markov Chains More games of no chance Kama Sutra for One
Real-World Haskell Classical Recursion Theory Automata, Logic and Games Basic Category Theory

Library Size: 80G (3743 books), Last Updated: Apr 09, 2026, 18:31:04, Build Time: N/A badge
[show logs] [hide logs]