Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: incompleteness

Lean4 Logic Formalization

Language: Lean - Size: 1.24 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 35 - Forks: 4

Formalization of Modal Logic in Lean 4

Language: Lean - Size: 115 KB - Last synced: about 1 month ago - Pushed: 2 months ago - Stars: 2 - Forks: 0

Archived since the contents have been moved to the Hydras & Co. repository

Language: Coq - Size: 542 KB - Last synced: 25 days ago - Pushed: over 1 year ago - Stars: 28 - Forks: 4

Missing earthquake data reconstruction in the space-time-magnitude domain

Language: Python - Size: 715 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 7 - Forks: 1

不完全性定理に関する諸々のメモ

Language: Typst - Size: 86.9 KB - Last synced: about 1 month ago - Pushed: 8 months ago - Stars: 2 - Forks: 0

A detailed explanation of one of the most important results in the history of math.

Language: HTML - Size: 734 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 4 - Forks: 1

Related Keywords