Tags

Tags give the ability to mark specific points in history as being important

wip-cwf-sigma-structure

2205fe19 · wip CwF · Feb 02, 2024

Wip on equalities of substitutions on CwFs + definition of Sigma structure