hazelgrove/hazelnut-dynamics-agda
mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
AgdaMIT
Stargazers
- amadeusine〇〇県、東アジア
- andrewdmeierBBVA
- brendanzab@yeslogic
- clayratIMDEA Software
- cyrus-University of Michigan
- disconcision@hazelgrove @fplab
- eleeGitHub
- guilhermehasChalmers
- ivoysey
- khushmeeetSunnyvale, California
- matthewhammer
- mediovia
- mgrabovskyFakta o klimatu
- mietek
- scott-fleischman
- sigfig@translunar-research
- steshaw@tweag
- svishnusAnn Arbor, MI
- tkersey@thisisartium
- wolverian@reaktor