Formally proved nerd
@lostcrab.bsky.social
Interests: PL design, type systems, program synthesis, optimization, formal verification, model checking, Coq, Lean, ...
Reposted by Formally proved nerd
#MULCIA: 10 funded PhD positions on Automated Reasoning in Vienna, Austria. is.gd/8jWz4P #PhD #CompSci
April 12, 2025 at 9:22 AM
#MULCIA: 10 funded PhD positions on Automated Reasoning in Vienna, Austria. is.gd/8jWz4P #PhD #CompSci
Reposted by Formally proved nerd
Lean: First steps (21 - Simple induction). ~ Tariq Rashid (@rzeta0@mastodon.social). leanfirststeps.blogspot.com/2024/12/21-i... #ITP #LeanProver #Lean4 #Math
January 1, 2025 at 1:30 PM
Lean: First steps (21 - Simple induction). ~ Tariq Rashid (@rzeta0@mastodon.social). leanfirststeps.blogspot.com/2024/12/21-i... #ITP #LeanProver #Lean4 #Math