GitHub - pwaver/DynamicalSystemsBook · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 411 Commits
.github/workflows		.github/workflows
agda		agda
book		book
misc		misc
.gitignore		.gitignore

About

No description, website, or topics provided.

0 stars

0 watching

Report repository

Releases

No releases published

Packages

Contributors

Languages

TeX 99.9%
Agda 0.1%