An experimental workspace for interactive theorem proving
This is the repository for my master's thesis in CS in interactive theorem proving in Lean. Currently, it is just a workspace for experimenting with proof tactics and features of Lean 4.
rhuid/prooflab
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|