GitHub repository: yatima-inc/LSpec
Primary language: Lean
Created: 2022-05-12T20:09:29Z
Description: A Testing Framework for Lean