Recent
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
An sample essay for Math 220 assignments
Nona Steele
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
Hello World in LaTeX
Ajay Rawat
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
not sure what to put here
Patrick Prosser
Matrices
Matrices
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
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