Skip to content

Actions: katydid/proofs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
265 workflow runs
265 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add universes to Calculus Check Proofs #382: Commit 3b0325b pushed by awalterschulze
August 27, 2024 16:45 7m 32s main
main
August 27, 2024 16:45 7m 32s
move Tipe to Conal folder Check Proofs #381: Commit 796a88c pushed by awalterschulze
August 27, 2024 15:53 7m 18s main
main
August 27, 2024 15:53 7m 18s
initial draft of Automatic Check Proofs #380: Commit d0c62b3 pushed by awalterschulze
August 27, 2024 15:50 7m 32s main
main
August 27, 2024 15:50 7m 32s
fix Equiv to use TEquiv without Prop Check Proofs #379: Commit c3781d9 pushed by awalterschulze
August 27, 2024 14:27 7m 6s main
main
August 27, 2024 14:27 7m 6s
definition of Automatic.Lang Check Proofs #378: Commit 4588ff4 pushed by awalterschulze
August 27, 2024 11:46 7m 44s main
main
August 27, 2024 11:46 7m 44s
Symbolic is now fully defined Check Proofs #377: Commit 1c044ca pushed by awalterschulze
August 27, 2024 11:18 7m 7s main
main
August 27, 2024 11:18 7m 7s
Add proofs for the examples in Conal/Examples.lean Check Proofs #376: Commit 586db79 pushed by awalterschulze
August 27, 2024 11:17 7m 11s main
main
August 27, 2024 11:17 7m 11s
Add proofs for the examples in Conal/Examples.lean Check Proofs #375: Pull request #94 opened by keeganperry7
August 27, 2024 11:10 7m 15s keeganperry7:conal_examples
keeganperry7:conal_examples
August 27, 2024 11:10 7m 15s
reoder imports in Calculus.lean Check Proofs #374: Commit ab5d320 pushed by awalterschulze
August 27, 2024 09:31 7m 5s main
main
August 27, 2024 09:31 7m 5s
cleanup of symbolic.lean Check Proofs #373: Commit 7bdc8e4 pushed by awalterschulze
August 27, 2024 09:29 7m 15s main
main
August 27, 2024 09:29 7m 15s
add symbolic.null Check Proofs #372: Commit 4360ca1 pushed by awalterschulze
August 26, 2024 15:25 7m 21s main
main
August 26, 2024 15:25 7m 21s
fix definition of equivalent Check Proofs #371: Commit 7ff0731 pushed by awalterschulze
August 26, 2024 14:24 7m 30s main
main
August 26, 2024 14:24 7m 30s
use namespaces Check Proofs #370: Commit 1225d33 pushed by awalterschulze
August 26, 2024 14:07 7m 37s main
main
August 26, 2024 14:07 7m 37s
remove all notation Check Proofs #369: Commit 933c145 pushed by awalterschulze
August 26, 2024 14:02 7m 40s main
main
August 26, 2024 14:02 7m 40s
add more decidability functions Check Proofs #368: Commit 51982b3 pushed by awalterschulze
August 26, 2024 13:54 7m 23s main
main
August 26, 2024 13:54 7m 23s
Add Extensional isomorphism Check Proofs #367: Commit 141c0b4 pushed by awalterschulze
August 26, 2024 11:35 7m 7s main
main
August 26, 2024 11:35 7m 7s
Add Extensional isomorphism Check Proofs #366: Pull request #93 opened by awalterschulze
August 26, 2024 11:26 7m 5s extensional_isomorphism2
extensional_isomorphism2
August 26, 2024 11:26 7m 5s
Add Extensional isomorphism Check Proofs #365: Commit 68d8e84 pushed by awalterschulze
August 26, 2024 11:25 7m 18s extensional_isomorphism2
extensional_isomorphism2
August 26, 2024 11:25 7m 18s
move some code out of Conal/Language.lean into appropriate files Check Proofs #364: Commit d1b4432 pushed by awalterschulze
August 26, 2024 09:49 7m 24s main
main
August 26, 2024 09:49 7m 24s
move some code out of Conal/Language.lean into appropriate files Check Proofs #363: Pull request #92 opened by awalterschulze
August 26, 2024 09:38 7m 21s move_language
move_language
August 26, 2024 09:38 7m 21s
move some code out of Conal/Language.lean into appropriate files Check Proofs #362: Commit c956ccf pushed by awalterschulze
August 26, 2024 09:38 7m 31s move_language
move_language
August 26, 2024 09:38 7m 31s
remove language notation as a separate file Check Proofs #361: Commit 785ac79 pushed by awalterschulze
August 26, 2024 08:24 7m 21s main
main
August 26, 2024 08:24 7m 21s
remove language notation as a separate file Check Proofs #360: Pull request #91 opened by awalterschulze
August 26, 2024 08:12 7m 16s remove_language_notation
remove_language_notation
August 26, 2024 08:12 7m 16s
remove language notation as a separate file Check Proofs #359: Commit baa0f85 pushed by awalterschulze
August 26, 2024 08:12 7m 21s remove_language_notation
remove_language_notation
August 26, 2024 08:12 7m 21s
now build all files again Check Proofs #358: Commit 94ce085 pushed by awalterschulze
August 23, 2024 14:42 7m 24s main
main
August 23, 2024 14:42 7m 24s