Skip to content
Makefile CI

Add a simp attribute to control the lemmas used to simplify terms inv… #74

Sign in to view logs

Add a simp attribute to control the lemmas used to simplify terms inv…

Add a simp attribute to control the lemmas used to simplify terms inv… #74

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
55s
55s