Zyicheng dependent types replace edummy

jeannin / zelus

A synchronous language with ODEs

http://zelus.di.ens.fr

Other

0 stars 4 forks source link

Closed EasonZ2022 closed 2 years ago

EasonZ2022 commented 2 years ago

The merge conflict can be automatically solved after the branch for task22/23 being merged