2 citations · 2 across the 1 of their papers we have counts for
1 paper
Lasse Blaauwbroek
The Tactician's Web is a platform offering a large web of strongly interconnected, machine-checked, formal mathematical knowledge conveniently packaged for machine learning, analyt…