[nickpsecurity]

There were many prototyoes of certifying compilers and proof-carrying code in academia. The FLINT group by themselves had many. Maybe try building on those.

[m1el]

Thank you for the suggestion, I will be sure to learn from those!