Boro Sitnikovski

[2] viXra:2207.0057 submitted on 2022-07-07 23:34:33 , (247 unique-IP downloads)

The Arrew Theorem Prover

Authors: Boro Sitnikovski
Category: Set Theory and Logic

[1] viXra:2005.0163 submitted on 2020-05-15 05:05:49, (215 unique-IP downloads)

Mathematical Representation and Formal Proofs of Card Tricks

Authors: Boro Sitnikovski
Category: General Mathematics