Credits

Semacaulk was written by:

• Andrija Novakovic (andrija@geometry.xyz)
• Koh Wei Jie (wj@geometry.xyz)
• Kobi Gurkan (kobi@geometry.xyz)

Special thanks to these contributors for their feedback and support:

• Nicolas Mohnblatt (nico@geometry.xyz )
• Tom Walton-Pocock (tom@geometry.xyz)
• Lai Ying Tong (yingtong@geometry.xyz)

Last but not least, we would also like to thank:

• Jon Stephens from Veridise and Andy Guzman from Sempahore for sharing information about Semaphore's invariants used in their formal audit.