正式仕様-正式使用の限界と妥協点/SMT/Isabelle/HOL /LiquidHaskell/実用性と理論の適切なバランス-Cardanoホワイトペーパー[科学と工学]編

日本語エデュケーション

YUTA_Oishi 5 May 2020 22:56 1

正式仕様-正式使用の限界と妥協点/SMT/Isabelle/HOL /LiquidHaskell/実用性と理論の適切なバランス-Cardanoホワイトペーパー[科学と工学]編