Loading search results…
Search MatrixRooms.info straight from your client app? Yes, you can. See the guide.
Publicar decretos, comunicados oficiales
- Dependent type theory: Coq / Rocq, Lean, Agda, Nuprl, F*, Idris. - Higher-order logic: Isabelle/HOL, HOL4, HOL Light, PVS. - Set-theoretic or foundational systems: Mizar, Metamath. - Logical frameworks: Twelf, Beluga, Dedukti. - Program-verification systems: Dafny, Why3, VeriFast, VST, Frama-C. - Mostly automated provers: ACL2, Z3, CVC5, Vampire, E, SPASS.
Espacio libre para la comunidad, memes, ideas
Sicher kommunizieren in Zeiten von Tracking 4.0
Discuss about Block Around, Warzone 2100 Battleplan, Minetest mods and other stuff from https://www.cupnplategames.com
This room is to discuss and share anything related to music.
Der Matrix-Space für soziale Ideen und Lösungen. https://humhub.sozial-guerilla.de ist eine Für-Etwas-Plattform.
