axioms code snippets in csharp

create all modal logic axioms in csharp

generate all normal modal logic axiom in csharp

language-ext monad logical axioms in csharp

make a s5 modal logic into a class with property and list of axioms in csharp