#brismu — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #brismu, aggregated by home.social.
-
The #brismu project to formalize #Lojban has entered a new phase. There is now a bipartite book https://mostawesomedude.github.io/brismu/ which contains the original brismu notes in one part, and formal proofs of some non-trivial theorems in the other part.
Contributions are welcome, particularly from folks who are willing to work with #Metamath or are familiar with #CategoryTheory.
The next bits of work will be establishing a bibliography, proving a few more easy theorems, and then refactoring the notes into a coherent narrative.
I currently project that at least 10% of baseline Lojban can be formalized without any changes to colloquial usage.
