Version 12.0.3

bakkot released this 23 Apr 22:36

· 225 commits to main since this release

d97fcad

do not apply typechecks to example algorithms #436
preserve search during multipage navigation #437
make text read "unpin" for already pinned things #439

Assets 2