@functional_thursday
函數程式語言社群
函數程式語言社群 定期交流聚會
Aug 13, 2026
用 LLM 生成形式證明經驗談
Taipei, Taiwan
Public profile on MeetWho · meetwho.app