You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
add: Table of Contents to each chapter (2-12) using mdbook-toc#128
Open
thelissimus wants to merge 4 commits intoleanprover:masterleanprover/theorem_proving_in_lean4:masterfrom thelissimus:masterthelissimus/theorem_proving_in_lean4:masterCopy head branch name to clipboard
