[Idris](https://en.wikipedia.org/wiki/Idris_(programming_language) https://en.wikipedia.org/wiki/Idris_(programming_language)) looks promising for theorem provi

[Idris](https://en.wikipedia.org/wiki/Idris_(programming_language) https://en.wikipedia.org/wiki/Idris_(programming_language)) looks promising for theorem proving. I'm not sure I would say the overhead of using it is minimal, but it's at least a very expressive language.