Robuta

https://arxiv.org/abs/2306.15375 [2306.15375] Frex: dependently-typed algebraic simplification Abstract page for arXiv paper 2306.15375: Frex: dependently-typed algebraic simplification dependently typed 2306 frex algebraic simplification https://www.easychair.org/publications/paper/lRJ1 Experiments with Choice in Dependently-Typed Higher-Order Logic dependently typed experiments choice higher order https://easychair.org/smart-slide/slide/HBRw Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic automated reasoning dependently typed tableaux higher order https://speakerdeck.com/mrb/compiling-a-dependently-typed-language-to-ruby Compiling a Dependently Typed Language to Ruby - Speaker Deck A.K.A. "Compilers Are Dope And Also A Little Bit About Fancy Types" dependently typed language compiling ruby speaker deck https://github.com/silt-lang/silt GitHub - silt-lang/silt: An in-progress fast, dependently typed, functional programming language... An in-progress fast, dependently typed, functional programming language implemented in Swift. - silt-lang/silt in progress https://dtyped.netlify.app/ dependently-typed typed https://www.uni-bamberg.de/en/aise/news/artikel/new-article-on-accepted-in-acm-journal/ "Dependently typed higher-order logic" - New article in ACM journal - Chair for AI Systems...