search

formalsec / smtml

A frontend for multiple SMT solvers in OCaml
https://formalsec.github.io/smtml/smtml/
MIT License
27 stars 8 forks source link

Remove duplicate mk_symbol function #223

Closed filipeom closed 2 months ago

filipeom commented 2 months ago

DRY