issues
search
0xd34df00d
/
refinedt
Refinement types + dependent types = ❤️
57
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update biblio.bib
#10
lsap
opened
2 years ago
0
Update package.yaml
#9
lsap
closed
2 years ago
0
Update README.md
#8
lsap
closed
2 years ago
0
Uniform ticks for sub/supertypes
#7
0xd34df00d
opened
2 years ago
0
Update package.yaml
#6
lsap
closed
3 years ago
0
Fix github CI action
#5
0xd34df00d
closed
3 years ago
0
Update main.yml
#4
0xd34df00d
closed
3 years ago
0
Set up github actions
#3
0xd34df00d
closed
3 years ago
0
Fix wrong eBNF syntax in Readme
#2
p0lunin
closed
4 years ago
0
Is help needed?
#1
p0lunin
opened
4 years ago
6