Merge branch 'main' into tighten-lambdapi-pattern · github-linguist/linguist@50e00ae · GitHub
Skip to content

Tighten Lambdapi pattern #6584

Tighten Lambdapi pattern

Tighten Lambdapi pattern #6584

Workflow file for this run