Posts

#Computer Science , #Mathematics

#Lean4 , #Programming

#Lean4 , #Mathlib

#Opinion , #Website

#Logic , #Lean4

#Logic , #Lean4

#Jai , #Programming

#Historical , #AI

#C , #asm

#Programming , #Rust , #C , #C++ , #Lean4

#Jai , #Programming

#Jai , #Programming

#Logic , #Existential Graphs

#Logic , #Lean4

#Logic , #Math

#Lean4 , #Formal Methods

#Lean4 , #Formal Methods , #Algorithms

#Worldbuilding , #Opinion , #Logic , #Automated Planning , #Existential Graphs

#Software Development , #Opinion

#Logic , #Existential Graphs