InfraElements

An implementation of D. Joyce's edition of Euclid's Elements on a graph substrate.

• Elements
• Dependency graph
• Cloud Notebooks

Dependencies

• InfraGeometry
• Infrageometry

Rebuild

• Scrape and analyze D. Joyce's project:

  python3 Scripts/scrape_djoyce.py
  python3 Scripts/extract_dependencies.py

• Produce content: prompt an LLM to convert each item, following the conventions and the template.
• Generate and deploy notebooks:

  wolframscript -file Scripts/generate_notebooks.wls
  wolframscript -file Scripts/publish_notebooks.wls
  python3 Scripts/generate_notebook_index.py

License

MIT