pruvisto / random_code_gen

Code generation for randomized algorithms in Isabelle

random_code_gen

Code generation for randomized algorithms in Isabelle

About

Code generation for randomized algorithms in Isabelle

BSD 3-Clause "New" or "Revised" License

Languages

Language:Isabelle 99.5%Language:TeX 0.5%