Example Usage:
\documentclass{article}
\usepackage{bert}
\begin{document}
\begin{hilbert}
$A$ & Assumption \\
$A \to B \to A$ & Axiom 1 \\
$B \to A$ & MP from 1 and 2
\end{hilbert}
\end{document}-
Notifications
You must be signed in to change notification settings - Fork 0
Latex package for typesetting Hilbert systems.
License
jackolantern/bert
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Latex package for typesetting Hilbert systems.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published