.github/workflows/ci.yml

Add some lemmas to the Lean backend #261

Sign in to view logs

Summary
Jobs
- nix
- lean
Run details
- Usage
- Workflow file

Triggered via push January 27, 2024 20:32

sonmarcho

son/lean

Status Success

Total duration 8m 33s

Artifacts –

ci.yml

on: push