GitHub - Quelklef/mathsproofbot: Writing proofs to Twitter since April 2020 · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 28 Commits
nix		nix
src		src
.gitignore		.gitignore
default.nix		default.nix
shell.nix		shell.nix

About

Writing proofs to Twitter since April 2020

twitter.com/mathsproofbot

Report repository

Releases

No releases published

Packages

Contributors

Languages