(Terminating) hylomorphisms in Coq
-
Updated
Dec 5, 2024 - TeX
#
hylomorphisms
Here are 2 public repositories matching this topic...
Annotated transcriptions from the Nuremberg Chronicle, fol. 1r 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
Dec 18, 2024 - 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."