Full threadtschottdorf·https://github.com/uwplse/verdi is a good example of this (it uses coq and extractions along with minimal glue).View on HN