Name		Name	Last commit message	Last commit date
Math654		Math654
LICENSE		LICENSE
Math654.lean		Math654.lean
README.md		README.md
gödel-beta-homework.lean		gödel-beta-homework.lean
lake-manifest.json		lake-manifest.json
lakefile.toml		lakefile.toml
lean-toolchain		lean-toolchain
parse-654.py		parse-654.py
regmachine-homework.lean		regmachine-homework.lean

Repository files navigation

math654

Homework and lecture notes from Math 654, Fall 2022

About

Homework and lecture notes from Math 654, Fall 2022

Apache-2.0 license

3 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages