Skip to content

Tags: cfr42/prooftrees

Tags

memoize-ext-0.2

Toggle memoize-ext-0.2's commit message
tag memoize-ext v0.2

prooftrees-0.9.3

Toggle prooftrees-0.9.3's commit message
Tagging prooftrees v0.9.3

memoize-ext-0.1

Toggle memoize-ext-0.1's commit message
Tagging memoize-ext v0.1.

forest-ext-0.3

Toggle forest-ext-0.3's commit message
tag forest-ext v0.3

forest-ext-0.2

Toggle forest-ext-0.2's commit message
Reset tag for forest-ext

prooftrees-0.9.2

Toggle prooftrees-0.9.2's commit message
Tag v0.9.2 of tableaux (prooftrees-0.9.2)

forest-ext-0.1

Toggle forest-ext-0.1's commit message
tab forest-ext v0.1

v0.9.1

Toggle v0.9.1's commit message
tag prooftrees v0.9.1

prooftrees-0.9.1

Toggle prooftrees-0.9.1's commit message
tag 0.9.1 for ctan

lt-2024-11-01-patch

Toggle lt-2024-11-01-patch's commit message
tag lt-2024-11-01 fix for docs