Progress on Automated Reasoning for Catlab with Metatheory.jl Egraphsphilipzucker.com·1 pts·philzook·0
Automated Propositional Sequent Proofs in the Browser with Tau Prologphilipzucker.com·33 pts·philzook·3
Computational Category Theory in Python II: Numpy for FinVect (2020)philipzucker.com·2 pts·philzook·0
Computational Category Theory in Python I: Dictionaries for FinSet (2020)philipzucker.com·2 pts·philzook·0