sott
sott copied to clipboard
Published
20 hours ago •
bobatkey
bobatkey
Simplified Observational Type Theory
Results
0
sott issues
Sort by
recently updated
recently updated
newest added