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.
-
Notifications
You must be signed in to change notification settings - Fork 0
rhuid/prooflab
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
An experimental workspace for my master's thesis in interactive theorem proving