issues
search
liyili2
/
KtoIsabelle
K framework to Isabelle
Other
3
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
remove temps
#10
jmikedupont2
opened
12 months ago
0
Bump commons-io from 2.4 to 2.7 in /kernel
#9
dependabot[bot]
opened
3 years ago
0
Bump junit from 4.11 to 4.13.1
#8
dependabot[bot]
opened
4 years ago
0
Bump commons-collections4 from 4.0 to 4.1 in /kernel
#7
dependabot[bot]
opened
4 years ago
0
Bump checkstyle from 5.9 to 8.29
#6
dependabot[bot]
opened
4 years ago
0
Kframework of translation part 2
#5
idoes
opened
9 years ago
0
New framework of translation part one
#4
idoes
opened
9 years ago
0
To isabelle
#3
liyili2
closed
9 years ago
0
To isabelle
#2
liyili2
closed
9 years ago
0
TO DO for the new framework of translation
#1
liyili2
opened
9 years ago
5