Skip to content
Lean (build)

Separate general term-rewriting results from results specific to πœ‘-calculus #96

Sign in to view logs

Separate general term-rewriting results from results specific to πœ‘-calculus

Separate general term-rewriting results from results specific to πœ‘-calculus #96

Triggered via pull request March 8, 2024 13:40
@eyihluyceyihluyc
opened #27
metatheory
Status Success
Total duration 2m 22s
Artifacts –

lean.yml

on: pull_request
Build
2m 13s
Build
Fit to window
Zoom out
Zoom in