Recent
A brief explanation and some examples on how to compose sequent calculus derivations with Overleaf using bussproofs.
An sample essay for Math 220 assignments
Some examples of typesetting inference rules and T-diagrams using the semantic package.
Hello World in LaTeX
Investigations into the properties of divergence and convergence in regards to (1)/(((ln(n))^P)n).
not sure what to put here
Matrices
Homework Template. Note: This is a modified version of the original template by Dana Ernst.
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.
\begin
Discover why 18 million people worldwide trust Overleaf with their work.