(Terminating) hylomorphisms in Coq
-
Updated
Jul 8, 2025 - TeX
#
hylomorphisms
Here are 4 public repositories matching this topic...
A framework for Systems Verification of categories, Theories and Meta Theories in Lean, Rocq, C# and F#.
csharp fsharp dotnet coq theorem-proving type-theory category-theory dotnet-core cosmos monoids formal-verification topos-theory groupoids applied-category-theory topos metatheory hylomorphisms lean4 monoidal-categories rocq
-
Updated
Sep 27, 2025 - C#
Annotated tables from the Nuremberg Chronicle, fol. Ir to VIIr.
astronomy moon cosmology solar-system plato metaphysics cicero ptolemy septuaginta yle philosophy-of-mind aristotle medieval-manuscripts hylomorphisms planets-orbiting greek-philosophy renaissance-literature nuremberg-chronicle medieval-philosophy astral-plane
-
Updated
Aug 24, 2025 - HTML
Annotated transcriptions from the Nuremberg Chronicle, fol. Ir to VIIr.
astronomy philosophy cosmology plato metaphysics cicero ptolemy septuaginta yle philosophy-of-mind aristotle medieval-manuscripts hylomorphisms mirandola greek-philosophy renaissance-literature nuremberg-chronicle medieval-latin medieval-philosophy ptolemaic-system
-
Updated
Aug 24, 2025 - HTML
Improve this page
Add a description, image, and links to the hylomorphisms topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the hylomorphisms topic, visit your repo's landing page and select "manage topics."