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 about 1 month ago
garywelz/atap updated a Space about 1 month ago
garywelz/glmp updated a Space about 2 months ago
garywelz/sciencevideodbOrganizations
None yet
updated 2
Spaces about 1 month ago
updated 4
Spaces about 2 months ago
published a
Space 3 months ago
updated 3
Spaces 5 months ago
updated a
Space 6 months ago
updated 3
Spaces 8 months ago
published a
Space 9 months ago
updated 2
Spaces 9 months ago
updated 3
Spaces 10 months ago