Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
_extensions		_extensions
_include/html		_include/html
css		css
icons		icons
images		images
schedule		schedule
slides		slides
syllabus		syllabus
.gitignore		.gitignore
AGENTS.md		AGENTS.md
COMPLETED.md		COMPLETED.md
GEMINI.md		GEMINI.md
PLAN.md		PLAN.md
README.md		README.md
RESULTS.md		RESULTS.md
_publish.yml		_publish.yml
_quarto.yml		_quarto.yml
index.qmd		index.qmd

Repository files navigation

www.proofgrammers.com.

This is the GitHub repository for Proofgrammers a website for a course about the theory of computation.

About

🤖 Proofgrammers use Python to explore the limits of computation!

www.proofgrammers.com/

Custom properties

3 stars

0 watching

Report repository

Contributors

Languages