Discussions

• 0 You must be logged in to vote

  💬

  A constructivity problem

  ccc6324 started May 8, 2026 in General

  

  

  2
• 4 You must be logged in to vote

  📣

  Welcome to FormalizedFormalLogic Discussions!

  iehality announced May 16, 2024 in Announcements

  

  

  

  

  15
• 1 You must be logged in to vote

  💡

  Kolmogorov Complexity and Suprise Exam Paradox

  SnO2WMaN started Jan 9, 2026 in Ideas

  

  

  1
• 1 You must be logged in to vote

  💡

  Combining to AlexeyMilovanov/kolmogorov-complexity-lean

  SnO2WMaN started Mar 31, 2026 in Ideas

  

  

  0
• 2 You must be logged in to vote

  💡

  Quantified Modal Logic

  SnO2WMaN started Oct 23, 2025 in Ideas

  

  

  1
• 1 You must be logged in to vote

  💬

  Why are proofs of object theories done in Lean ?

  ruplet started May 22, 2025 in General

  

  

  1
• 1 You must be logged in to vote

  💬

  Suitability comparing concrete languages and theories

  ppls-nd-prs started Feb 27, 2025 in General

  

  

  2
• 2 You must be logged in to vote

  💬

  FFL is not planed porting to Mathlib.

  SnO2WMaN started Nov 10, 2024 in General

  

  

  0