Ready, Set, Verify! Applying Hs-to-coq to Real-World Haskell Code.Joachim Breitner,Antal Spector-Zabusky,Yao Li,Christine Rizkallah,John Wiegley,Stephanie WeirichJournal of Functional Programming（2021）引用 26|浏览137关键词Coq,Haskell,verificationAI 理解论文溯源树样例生成溯源树，研究论文发展脉络Chat Paper正在生成论文摘要
