cofi:start

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision		 Previous revision
cofi:start [2025/10/20 23:38] – created katjacofi:start [2025/10/21 00:04] (current) – katja
Line 1: Line 1:
-Start page for namespace CoFi+# Start page for namespace CoFi       
 +        
 +[Degrees of formalisation](/cofi/formalisation)
  • cofi/start.1761003498.txt.gz
  • Last modified: 2025/10/20 23:38
  • by katja