Improve RBT Testing Instructions

isabelle-prover / isabelle-go-codegen

Go Code Generation for Isabelle

Other

2 stars 2 forks source link

Closed diekmann closed 10 months ago

larsrh commented 1 year ago

I added the note to README, everything else will have to wait after paper submission.

larsrh commented 10 months ago

Thanks!