This repository has been archived by the owner on Jun 26, 2023. It is now read-only.

Home

Jump to bottom

Helen edited this page Sep 15, 2021 · 24 revisions

Hello!

This is a repository for the project "Environment for structured mathematical proofs"

1st iteration