Sign inSign up

epfl-lara/lisa

Proof assistant based on first-order logic and set theory

ScalaStars 64Forks 23Watchers 64Open issues 21License Apache License 2.0
Details
仓库信息
Ownerepfl-lara
Homepage—
GitHubhttps://github.com/epfl-lara/lisa
Last pushed2025-12-04
Last updated2025-12-13
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--