ATAP — Axiomatic Theories, Algorithms and Proofs
📚
Axiomatic theories, algorithms, proofs as directed graphs
Gary Welz
garywelz
AI & ML interests
Creating knowledge agents
Recent Activity
updated a Space 5 days ago
garywelz/atap updated a Space 14 days ago
garywelz/glmp updated a Space 25 days ago
garywelz/sciencevideodbOrganizations
None yet
updated a
Space 5 days ago
updated a
Space 14 days ago
updated 4
Spaces 25 days ago
published a
Space about 2 months ago
updated 2
Spaces 4 months ago
updated 2
Spaces 5 months ago
updated a
Space 7 months ago
updated 2
Spaces 8 months ago
published a
Space 8 months ago
updated 2
Spaces 8 months ago
updated 3
Spaces 9 months ago