Skip to content

Actions: metinersin/FormalTextbookModelTheory

Actions

.github/workflows/blueprint.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
blueprint.yml
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Restructure the lemmas and definitions .github/workflows/blueprint.yml #6: Commit 8cb297e pushed by metinersin
August 16, 2024 13:43 5m 41s master
master
August 16, 2024 13:43 5m 41s
readme update .github/workflows/blueprint.yml #5: Commit 53bb91a pushed by metinersin
August 14, 2024 20:00 5m 51s master
master
August 14, 2024 20:00 5m 51s
completed the proof of the categoricity of dlo .github/workflows/blueprint.yml #4: Commit 4e09bd8 pushed by metinersin
August 14, 2024 19:01 11m 6s master
master
August 14, 2024 19:01 11m 6s
Functions for automatic creation of leanblueprint. .github/workflows/blueprint.yml #3: Commit 3feb56f pushed by metinersin
August 11, 2024 06:22 8m 50s master
master
August 11, 2024 06:22 8m 50s
Categoricity of dlo .github/workflows/blueprint.yml #2: Commit 7204ee4 pushed by metinersin
August 11, 2024 06:15 9m 1s master
master
August 11, 2024 06:15 9m 1s
main theorem statement .github/workflows/blueprint.yml #1: Commit b09c4ed pushed by metinersin
July 31, 2024 12:00 10m 50s master
master
July 31, 2024 12:00 10m 50s