Home - GaloisInc/AMIDOL GitHub Wiki

Welcome to the AMIDOL wiki!

• Milestone Schedule

• Collaborative Schedule

• Notes and Bookmarks

• AMIDOL Specifications

Background Reading Lists

• Petri Nets, ODEs, and Biochemical Modeling
• Hierarchical Types, Arrow Morphisms