Geeks
argumentcomputer
/
LSpec
A Testing Framework for Lean
Primary Language
Lean
MIT License
MIT
LSpec GitHub
Markdown
Readme
15
Issues
46
Stargazers
6
Watchers
Watchers
arthurpaulino
Argument Computer Corporation
eemailme
gabriel-barrett
jhcloos
johnchandlerburnham
Argument Computer Corporation
mpenciak
Lurk Lab