Title | Citations | PageRank | Year |
---|---|---|---|
A Graphical Proof Theory of Logical Time. | 0 | 0.34 | 2022 |
Some Axioms for Mathematics. | 0 | 0.34 | 2021 |
Interacting Safely with an Unsafe Environment. | 0 | 0.34 | 2021 |
Analyzing Individual Proofs as the Basis of Interoperability between Proof Systems. | 0 | 0.34 | 2017 |