Zaik Research
@zaik
Pi Squared： Computational Proof Projects via Formal Semantic Proofs. Unlike various virtual machine level proof projects, he is independent of language and machine systems. Potential direction for their paper https://www.ideals.illinois.edu/items/129949
0 reply
0 recast
0 reaction
