We are delighted to announce that we are one of the sponsors for FLOLAC 2024, contributing support to the functional world and the formal methods community. Please see more on their website: https://flolac.iis.sinica.edu.tw/

We are delighted to announce that we are one of the sponsors for FLOLAC 2022, contributing support to the functional world and the formal methods community. Please see more on their website: https://flolac.iis.sinica.edu.tw/

Founded in November 2020, Lambdaww is a software and hardware solutions company with a focus on functional programming languages and formal methods. Our current main business areas include: Software development with good quality and high security Smart contract architecture and design Planning and landing of IoT total solutions – 入山山成立於 2020 年 11 月，是聚焦於函數式程式語言以及形式方法的軟硬體解決方案公司。目前主要業務為