crefine: change misleading proof step in CSpace_RAB_C #2270

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Gitlint	36s
Portable Shell	40s
Style	42s
Theory Linter	37s
Trailing Whitespace	35s
	3m 10s