Discussions

• 1 You must be logged in to vote

  📚

  Coq 教学书籍

  adoyle-h started Mar 13, 2023 in 文章资料

  

  

  0
• 1 You must be logged in to vote

  📚

  开源的逻辑学教学书籍：Open Logic

  adoyle-h started Mar 10, 2023 in 文章资料

  

  

  0
• 1 You must be logged in to vote

  💡

  逻辑编程对于程序员的意义

  adoyle-h started Mar 2, 2023 in Ideas

  

  

  3
• 1 You must be logged in to vote

  📚

  入门书籍：The Power of Prolog

  Prolog

  adoyle-h started Mar 2, 2023 in 文章资料

  

  

  0