title: Theorem Environments for Computer Science (csthm.sty) linter-yaml-title-alias: Theorem Environments for Computer Science (csthm.sty) date created: Monday, March 25th 2024, 14:13:16 date modified: Saturday, August 31st 2024, 11:32:48

aliases: Theorem Environments for Computer Science (csthm.sty)

Theorem Environments for Computer Science (csthm.sty)

Overview

The csthm package provides customized theorem-like environments specifically designed for computer science documents. It offers a set of pre-defined theorem styles and environments to streamline the creation of theorems, definitions, remarks, and other common structures in computer science papers and documents.

Features

• Pre-defined theorem styles: thmstyle, defstyle, remarkstyle, and hltstyle
• Theorem environments: theorem, fact, assumption, claim, conjecture, corollary, lemma, property, proposition
• Definition environments: definition, example, exercise, problem, question
• Remark environments: note, remark, solution
• Highlight environments: important, highlight, key-point
• Custom environments: case, axiom
• Accent Colour: Customizable accent colour
• Cleveref Support: Optional integration with cleveref package

Installation

1. Download the csthm.sty file.
2. Place it in the same directory as your LaTeX document or in your local TeX tree.

Usage

Load the package in your LaTeX document:

\usepackage{csthm}

To use the package with cleveref support:

\usepackage[cleveref]{csthm}

Examples

\begin{theorem}
  This is a theorem.
\end{theorem}

\begin{definition}
  This is a definition.
\end{definition}

\begin{remark}
  This is a remark.
\end{remark}

\begin{case}
  \item This is case 1.
  \item This is case 2.
\end{case}

\begin{axiom}
  \item This is axiom A.
  \item This is axiom B.
\end{axiom}

Customization

To change the accent colour:

\setaccentcolor{blue}

License

This file may be distributed and/or modified under the conditions of the LaTeX Project Public License, either version 1.3c of this license or (at your option) any later version. The latest version of this license is in http://www.latex-project.org/lppl.txt and version 1.3c or later is part of all distributions of LaTeX version 2008/05/04 or later.

Author

Agni Datta <agnidatta.org@gmail.com>

Bug Reports and Feature Requests

Please report any issues or feature requests on the package’s GitHub repository.