Skip to content
Lean Action CI

Fix partial Theorem 4.1 (iii) => (iv) #137

Sign in to view logs

Fix partial Theorem 4.1 (iii) => (iv)

Fix partial Theorem 4.1 (iii) => (iv) #137

Workflow file for this run

.github/workflows/lean_action_ci.yml at 3a32dee
name: Lean Action CI
on:
push:
pull_request:
workflow_dispatch:
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: leanprover/lean-action@v1
with:
lake-package-directory: TraceTheory