GitHub - lweqx/groups-word-problem

Name		Name	Last commit message	Last commit date
Latest commit History 53 Commits
theories		theories
.gitignore		.gitignore
Makefile		Makefile
_CoqProject		_CoqProject
coq-library-undecidability.nix		coq-library-undecidability.nix
emacs-config.el		emacs-config.el
flake.lock		flake.lock
flake.nix		flake.nix