issues
search
isabelle-prover
/
isabelle-go-codegen
Go Code Generation for Isabelle
Other
2
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Using strings does not include some necessary functions
#9
larsrh
opened
8 months ago
2
add GitHub workflow
#8
larsrh
closed
8 months ago
0
more idiomatic if-statements in pattern matches
#7
stuebinm
opened
8 months ago
0
Safer use of datatypes
#6
larsrh
opened
9 months ago
3
More idiomatic go code
#5
larsrh
opened
9 months ago
1
nit: remove newline at beginning of file
#4
diekmann
closed
11 months ago
0
Use Golang 1.18.
#3
diekmann
closed
11 months ago
0
Create a full reproducible hands-on example.
#2
diekmann
opened
11 months ago
2
Improve RBT Testing Instructions
#1
diekmann
closed
8 months ago
2