Skip to content

Joe's work#8

Open
wrsturgeon wants to merge 204 commits intomainfrom
typesafe
Open

Joe's work#8
wrsturgeon wants to merge 204 commits intomainfrom
typesafe

Conversation

@wrsturgeon
Copy link
Copy Markdown
Owner

@wrsturgeon wrsturgeon commented Jan 26, 2024

No description provided.

alpha-convert and others added 30 commits January 24, 2024 10:52
@alpha-convert
some diffs, simplified proofs
1dee9e6
@alpha-convert
Merge branch 'main' of https://github.com/wrsturgeon/stream-types
43ce4ca
@alpha-convert
env fix
23d99c4
@wrsturgeon
CI on push (#2) (#3)
e3bfd0b 
* CI on push

* ...but don't duplicate the work
@wrsturgeon
Build CoqHammer with Nix in Joe's version (#6)
09d72f4 
* CI on push (#2)

* CI on push

* ...but don't duplicate the work

* Write a README (#4)

* Custom-build CoqHammer with Nix (#5)

* Custom-build CoqHammer with Nix

* Make CoqHammer dependencies more explicit
@alpha-convert
progress
d447e63
@alpha-convert
Merge branch 'typesafe' of https://github.com/wrsturgeon/stream-types …
6f47415 
…into typesafe
@alpha-convert
some facts about variables
af68e32
@alpha-convert
name change
a6383b0
@alpha-convert
bunch of progress
9c8e60b
@wrsturgeon
standardize names
25fb93d
@wrsturgeon
merge from main
9cfaf3d
@wrsturgeon
print files with Admitted in them when CI fails
91b3cdd
@wrsturgeon
rename PfxEmpty to EmptyPrefix
b0e29df
@wrsturgeon
replace custom invert with sinvert
154704e
@wrsturgeon
rename hole_fv et al. to fv_hole et al.
e85d079
@wrsturgeon
Progress on the formerly Admitted environment theorems
b1b495d
@alpha-convert
commit
5120366
@alpha-convert
merge
f494051
@wrsturgeon
Include solvers in hammer Nix derivation
4f9f0c3
@wrsturgeon
remove all trailing whitespace, Stalin-style
49c6772
@wrsturgeon
..._restrict -> ..._contains
f345f24
@wrsturgeon
cut losses with Admitted :(
3415c5c
@wrsturgeon
Merge branch 'main' into typesafe
20822d7
@alpha-convert
cache
0bfd6cd
@alpha-convert
Merge branch 'typesafe' of https://github.com/wrsturgeon/stream-types …
64db9aa 
…into typesafe
@alpha-convert
backsolving
7a36197
@wrsturgeon
Huge merge
82a654a
@wrsturgeon
Remove vi mistake files
db21fec
@wrsturgeon
Merge branch 'main' into typesafe
aeaba73
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@wrsturgeon @alpha-convert