Perhaps coq/agda/idris/etc.