Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
loading thread…
5 ms
·
Automated Category Theory Reasoning with Metatheory.jl and Egraphs
7 points
by
0x0f0f0f
6y ago