samfcmc / llncs-article-template
Latex template for articles that use LLNCS document class from Springer
☆10Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for llncs-article-template
- Master dissertation template for IST☆34Updated 8 years ago
- The Leon system for verification, synthesis, repair☆162Updated 7 months ago
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆123Updated last year
- GAPT: General Architecture for Proof Theory☆94Updated this week
- Verification framework and tool for higher-order Scala programs☆357Updated this week
- Link to preprints for ICFP'17 and colocated events☆136Updated 6 years ago
- Scala library for parsing and printing the SMT-LIB format☆44Updated last year
- The People's Refinement Logic☆227Updated last year
- Lecture material for DeepSpec Summer School 2017☆86Updated 3 years ago
- Interactive theorem proving with Coq in vim.☆186Updated 4 years ago
- Coq Support for Visual Studio Code☆92Updated 5 years ago
- Papers I love :)☆155Updated 4 years ago
- The Penn Locally Nameless Metatheory Library☆71Updated 4 months ago
- Dafny 2 for Visual Studio Code (Legacy)☆18Updated last year
- Solver for higher-order functional programs, used by Stainless☆88Updated this week
- Translate java jar files into Boogie programs☆12Updated 6 months ago
- Dependent Object Types (DOT), bottom up☆83Updated 2 years ago
- Proving Ground: Tools for Automated Mathematics☆203Updated 3 years ago
- Resources for the online Type Theory Study Group☆161Updated 6 years ago
- Jekyll in Haskell (feat. LaTeX)☆93Updated 7 years ago
- Randomized Property-Based Testing Plugin for Coq☆254Updated last week
- A collection of links to our talk series based on Brent Yorgey's CIS194 lectures.☆145Updated 7 years ago
- Formalization of the Dependent Object Types (DOT) calculus☆62Updated 2 years ago
- A book on programming languages, using Haskell☆165Updated 3 years ago
- ☆193Updated 5 years ago
- Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott☆30Updated 2 weeks ago
- A library for formalizing Haskell types and functions in Coq☆167Updated last year
- Scala Algorithms and Data Structures☆233Updated 8 years ago
- typeclass diagram for cats☆461Updated 3 years ago
- Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism☆257Updated 3 years ago