L

lisa

Project information

Proof assistant based on first-order logic and set theory

253 Commits
1 Branch
0 Tags

README
LICENSE
CHANGELOG

Created on

July 03, 2023

Loading