Skip to content
Abella check tests

fix: apply now normalizes lemma wrt sequent variables #130

Sign in to view logs

fix: apply now normalizes lemma wrt sequent variables

fix: apply now normalizes lemma wrt sequent variables #130

Triggered via push January 29, 2025 13:26
@chaudhurichaudhuri
pushed c399d56
master
Status Success
Total duration 6m 58s
Artifacts –

check-tests.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in