Search
❯
Feb 05, 20251 min read
Used as meta-logic and not formal proof A⊣⊢B A and B derive eachother