Giters
Larch Team (Larch-Team)

Larch Team

Larch-Team

Geek Repo

Location:AMU Poznań

Home Page:https://www.notion.so/szymanski/Larch-971b20f6b2a4442bacc7b4b153c808d9

Github PK Tool:Github PK Tool

Larch Team's repositories

Larch

Proof assistant created in the Plugin Oriented Programming paradigm

Language:PythonStargazers:0Issues:3Issues:0

larch-plugins

Plugin repository for the Larch proving assistant

Stargazers:0Issues:0Issues:0