\(\newenvironment{bprooftree}{\begin{prooftree}}{\end{prooftree}}\)
Recent posts.

Teorija programskih jezikov (Pretnar)

17 Mar 2026

Razlika med tem kako je jezik implementiran in kako je standardiziran.

(...)
Tags: lecture-notes

Računska zahtevnost (Cabello)

17 Mar 2026

Warning: The notes are not optimized for HTML (yet). Without warranty.

(...)
Tags: lecture-notes

Kardinalna aritmetika (Simpson)

17 Mar 2026

Warning: The notes are not optimized for HTML (yet). Without warranty.

(...)
Tags: lecture-notes

Logika v računalništvu (Simpson)

17 Mar 2026

Warning: The notes are not optimized for HTML (yet). Without warranty.

(...)
Tags: lecture-notes

Unija z rangom

02 Feb 2022

A test post from my old notes. The content is not very well written or well-organised, but it has both a code block and \(\LaTeX\), so serves as a good test for the site's features.

(...)
Other posts