Page Index - GaloisInc/AMIDOL GitHub Wiki

10 page(s) in this GitHub Wiki:

• Home
• Background Reading Lists
• AMIDOL Specifications
• Hierarchical Types, Arrow Morphisms
• June 25th, 2019 AMIDOL Meeting
• Milestone Schedule
• Milestone walkthrough (Sept 30, 2019)
• Model Compatibility
• Notes and Bookmarks
• Petri Nets, ODEs, and Biochemical Modeling