ATAP — Axiomatic Theories, Algorithms and Proofs - a Hugging Face Space by garywelz