Space: garywelz/atap
title: ATAP — Axiomatic Theories, Algorithms and Proofs
sdk: static
license: cc-by-4.0
short_description: Axiomatic theories, algorithms, proofs as directed graphs
Tags: static, region:us