Recent
![Sequent calculus template](https://writelatex.s3.amazonaws.com/published_ver/11846.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240717T180731Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240717/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=9d53e9456e23434cf0b9347ba77c2086be77474e8101c93de3f7cb4ae0b0430b)
Sequent calculus template
A brief explanation and some examples on how to compose sequent calculus derivations with Overleaf using bussproofs.
Tatu Pössi
![UBC Math 220 Example](https://writelatex.s3.amazonaws.com/published_ver/4602.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240717T180731Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240717/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=419394f15a12843451ed2c671ed6f6687db8a342b4741ad48062a20a40c91ad1)
UBC Math 220 Example
An sample essay for Math 220 assignments
Nona Steele
![Inference Rules and T-diagrams with the semantic Package](https://writelatex.s3.amazonaws.com/published_ver/2572.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240717T180731Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240717/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=238e2013ab277271b2110d327112c6b1ba0bb6f9f2caa06988e91dcfb39370d1)
Inference Rules and T-diagrams with the semantic Package
Some examples of typesetting inference rules and T-diagrams using the semantic package.
LianTze Lim
![LaTeX Tutorials](https://writelatex.s3.amazonaws.com/published_ver/2195.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240717T180731Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240717/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=a5c8c8476fb850a7468c70adcbcc52d4c95fd4d3dc644b22b98a1211aba0e032)
LaTeX Tutorials
Hello World in LaTeX
Ajay Rawat
![Foray into LaTeX (Project 1)](https://writelatex.s3.amazonaws.com/published_ver/1832.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240717T180731Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240717/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=21466204b5d6b0ed9ab7d1cd3f565bf0cc555f766383c8311040fbac54aebf47)
Foray into LaTeX (Project 1)
Investigations into the properties of divergence and convergence in regards to (1)/(((ln(n))^P)n).
Atlas Kinzel
![Romantic Mathematics & Computer Programs](https://writelatex.s3.amazonaws.com/published_ver/1508.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240717T180731Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240717/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=46002493346efa0ba1b5c0b6cffe6ea30fd04eb7a32c70667a8505fe710ffba3)
Romantic Mathematics & Computer Programs
not sure what to put here
Patrick Prosser
![Matrices](https://writelatex.s3.amazonaws.com/published_ver/60.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240717T180731Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240717/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=72a5ea7e514a56de3ad372b834a8886d03576e14a71dc3eb4ca59fed1d9ab14a)
Matrices
Matrices
![Homework Template](https://writelatex.s3.amazonaws.com/published_ver/20.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240717T180731Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240717/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=794d6bfacb0217f8dedf6f0712a7e6f0a36996f4ccb258d80e349a4bdaf3cfde)
Homework Template
Homework Template.
Note: This is a modified version of the original template by Dana Ernst.
Sarah Wright (based on the a original by Dana Ernst)
![Poker Theorems](https://writelatex.s3.amazonaws.com/published_ver/15554.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240717T180731Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240717/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=5432654784e30275c804043d20eb4a3558afd49dc212560e88c433a4d062b799)
Poker Theorems
A simple trick to decorate Theorem-like environments with poker suits QED symbols.
I did not come up with this theorem decoration style (I've first seen it here) nor with the whole code (I salvaged it from TeX StackExchange and other sources over the years). This is just my current implementation of the code.
Níckolas Alves