Overleaf 模板库LaTeX 模板和示例 — Recent
探索 LaTeX 模板和示例,以帮助完成从撰写期刊文章到使用特定 LaTeX 包的所有工作。

Some examples of typesetting inference rules and T-diagrams using the semantic package.

First Class

This can be used to start any portfolio problem for MTH 210.

This example demonstrates how to produce diagonal lines in table cells using the slashbox and diagbox packages. The diagonal line produced by the slashbox package is rather jagged and unwieldy. The diagbox package does a better job in general. Try loading only one of these packages to see the difference — if diagbox is loaded at all, it overrides slashbox's behavior./p>

Template for C240 Models of Computation Assessed Coursework 2 Contains macros for typesetting register machines in textual, graphical and encoded formats. Department of Computing, Imperial College London This work is released into the Public Domain.

Alok Shankar's CV

Created from portrait poster template

MATH 108 - Introduction to Formal Mathematics

A template for problem sets, set up to enter blocks of equations, images and arrays.