A new #formalmethods community was just created on the Lemmy instance programming.dev: https://programming.dev/c/formal_methods@programming.dev
I’ve seen lots of interesting discussion on Mathstodon about #FormaMathematics, #TheoremProving and #ProofAssistants such as #Lean4, #Coq, #agda, #isabelle, and others. In addition to the fascinating discussion here on Mathstodon, I would love to see an active home on Lemmy for aggregating resources on formal methods and formal mathematics!
#isabelle #agda #coq #Lean4 #proofassistants #TheoremProving #formamathematics #formalmethods
New #IRC channel:
> #plt: Friendly and informal discussions of #programming language theory
ircs://irc.libera.chat/#plt
https://web.libera.chat/gamja/#plt
#FunctionalProgramming #ConstructiveLogic #TheoremProving #CategoryTheory #TypeTheory #CompilerConstruction #TypeSystems
#Haskell #PureScript #OCaml #Lisp #Erlang #Scheme ...
#scheme #erlang #lisp #ocaml #purescript #haskell #typesystems #CompilerConstruction #typetheory #categorytheory #TheoremProving #ConstructiveLogic #functionalprogramming #programming #plt #irc