Master Push

Add a new `chop` simplification lemma. (#2527) #786

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Populate Nix Cache (normal)	6m 39s
Populate Nix Cache (macos-13)	22m 49s
Populate Nix Cache (ARM64)	2m 50s
Cut Release	9s
Publish GH Pages	3m 18s
	35m 45s