3 ms·
David has since also made extensive progress with his category-theoretic approach, available in a new repository: https://github.com/Precisfice/DEDUCTION https
by triska 2y ago
David has since also made extensive progress with his category-theoretic approach, available in a new repository:
https://github.com/Precisfice/DEDUCTION https://github.com/Precisfice/DEDUCTION