yetanothersam

yetanothersam/formal-conjectures

A collection of formalized statements of conjectures in Lean.

yetanothersam/tww

Decompilation of The Legend of Zelda: The Wind Waker

yetanothersam/test