Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
1.
Andromeda: Proof assistant for general type theories (github.com/Andromedans)
1 point
adamnemecek
6 years ago
discuss
2.
OpenSearch/Elasticsearch Migrations (github.com/opensearch-project)
1 point
andromedasb
2 years ago
1 comment