rlfsc (cargo): A checker for the LFSC proof language
Keywords: proof-checker|dependent-types|smt|lfsc|type-checker