Skip to content

Actions: bwerner/FormArith

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Formalization of the Lambda Cube build #66: Pull request #25 opened by vmarionneau
57s lambda_cube
lambda_cube
57s
Renamed files build #65: Commit 7312b44 pushed by vmarionneau
53s lambda_cube
lambda_cube
53s
Failed attempt at proving normalization, unclear if salvageable build #64: Commit c7cdeec pushed by vmarionneau
50s lambda_cube
lambda_cube
50s
LF : definitions rework build #63: Commit 65be7e4 pushed by ewendufour
1m 17s edufour-form-proj
edufour-form-proj
1m 17s
added some definitions for LF. build #62: Commit e68e7f5 pushed by ewendufour
51s edufour-form-proj
edufour-form-proj
51s
chore: apply comments build #61: Commit e505849 pushed by ewendufour
50s edufour-form-proj
edufour-form-proj
50s
wrote type inference for the lambda cube build #60: Commit 79c358a pushed by bousmahawassel
56s lambda_cube
lambda_cube
56s
made a file to talk about weak head normal forms build #59: Commit eebf3ab pushed by bousmahawassel
55s lambda_cube
lambda_cube
55s
fixed typing! When converting types, we ask the 2 types to be convert… build #58: Commit b43ec19 pushed by bousmahawassel
1m 6s lambda_cube
lambda_cube
1m 6s
fixed naming conflict that appeared when merging build #57: Commit f7e3f17 pushed by bousmahawassel
50s lambda_cube
lambda_cube
50s
proved subject reduction (last time it was only preservation) build #56: Commit 12f7e8f pushed by bousmahawassel
54s lambda_cube
lambda_cube
54s
Merge branch 'lambda_cube' of https://github.com/bwerner/FormArith in… build #55: Commit 4e9e532 pushed by bousmahawassel
57s lambda_cube
lambda_cube
57s
Added stub of strong normalization proof build #54: Commit 75fa299 pushed by vmarionneau
50s lambda_cube
lambda_cube
50s
Simplified execution contexts build #53: Commit 57f9c0a pushed by vmarionneau
1m 3s lambda_cube
lambda_cube
1m 3s
typing contexts are now parametrized by one integer and not 2 build #52: Commit 9b5d5b1 pushed by bousmahawassel
52s lambda_cube
lambda_cube
52s
added typing build #51: Commit 31bbba5 pushed by bousmahawassel
51s lambda_cube
lambda_cube
51s
proved confluence of beta-reduction (after rectifying the definition … build #50: Commit 6b51b26 pushed by bousmahawassel
1m 12s lambda_cube
lambda_cube
1m 12s
Proved lemma about interaction of substitution and fill build #49: Commit e4ca361 pushed by vmarionneau
48s lambda_cube
lambda_cube
48s
Proved most lemmas needed for subtitutions build #48: Commit a61f4c9 pushed by vmarionneau
1m 25s lambda_cube
lambda_cube
1m 25s
Minor comments build #47: Commit 133f1b3 pushed by vmarionneau
55s lambda_cube
lambda_cube
55s
added Makefile.conf to gitignore build #46: Commit 5485d01 pushed by bousmahawassel
56s lambda_cube
lambda_cube
56s
Aborted unfinished lemmas in LambdaCube/Term.v build #45: Commit f245bb4 pushed by vmarionneau
54s lambda_cube
lambda_cube
54s
Added notion of contexts for the lambda cube build #44: Commit ce14f56 pushed by vmarionneau
56s lambda_cube
lambda_cube
56s
Basic definitions of terms, substitutions and convesion for the lambd… build #43: Commit c52c466 pushed by vmarionneau
58s lambda_cube
lambda_cube
58s
Updated project config build #42: Commit 110d097 pushed by vmarionneau
1m 19s lambda_cube
lambda_cube
1m 19s