#Itp

Showing 2 of 2 repositories tagged #itp, ranked by stars

Course repo and syllabus for Nature of Code Spring 2018 at ITP.

★ 91 ⑂ 28 —

★ 75 ⑂ 9 —

Related Topics

#genetic-algorithm #nature #neural-network #physics #simulation #syllabus #artificial-intelligence #conjecture #domain-specific-language #formal-methods #formal-proofs #formal-verification