Main results

The main results that the formalization.yaml of FormalFrontier/homological-algebra lists under status.main_results at commit 8bcaebe9, each that the scan finds declared in the file the yaml gives, with its line. They are listed here, not made articles: in several Formal Frontier libraries this list is close to the whole API. The notes are the yaml's.

The scan does not find 2 of them; the library's page names them.

Quoted from the main results in formalization.yaml of FormalFrontier/homological-algebra at commit 8bcaebe9, Apache-2.0.

• Main results 1 to 100
• Main results 101 to 200
• Main results 201 to 218

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.