Skip to content
View klausnat's full-sized avatar
🏠
Formal verification. Coq, Rust, Ocaml
🏠
Formal verification. Coq, Rust, Ocaml
4 followers · 1 following
  • Russian Federation, Rostov-on-Don

Achievements

Achievement: Pull Sharkx2
BetaSend feedback

Achievements

Achievement: Pull Sharkx2
BetaSend feedback
Block or Report

Block or report klausnat

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
klausnat/README.md
  • 👋 Hi, I’m Natalie Klaus
  • 👀 The area of my work: formal verification and functional programming, Coq, Rust, OCaml
  • 🌱 I’m currently work as a proof engineer (formal verification of mainstream programs using the proof system Coq).
  • 📫 How to reach me: webmathew@gmail.com

Popular repositories

  1. SAT-solver-DPLL-CNF SAT-solver-DPLL-CNF Public

    DPLL satisfiability decision procedure for boolean formulas in conjunctive normal form, with a dependent type that guarantees its correctness

    Coq 1

  2. rust rust Public

    Rust 1

  3. fingertree fingertree Public

    fingertree: Generic finger-tree structure, with example instances. Idris

    Idris

  4. idris idris Public

    Type-Driven Development with Idris Book by Edwin Brady, Exercises

    Idris

  5. tic-tac-toe tic-tac-toe Public

    tic-tac-toe game in idris ( allso called crosses - zeroes )

    Idris

  6. richardBird richardBird Public

    Book Thinking functionally with haskell by Richard Bird tasks

    Idris