constructive-mathematics

There are 0 repository under constructive-mathematics topic.

• newca12 / awesome-rust-formalized-reasoning

  An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

  automated-theorem-proversconstructive-mathematicsdependent-typesformal-verificationlogicproof-assistantsproverreasoningrusttheorem-provertheorem-proving
  279

• martinescardo / TypeTopology

  Logical manifestations of topological concepts, and other things, via the univalent point of view.

  univalent-foundationsagdahomotopy-type-theorytype-theoryconstructive-mathematicscompact-typetotally-separated-typeinjective-typeordinalsearchable-setunivalent-mathematics
  Language:Agda 212

• iblech / constructive-maximal-ideals

  Reifying dynamical algebra: maximal ideals in countable rings, constructively

  agdaconstructive-mathematicsforcingmathematicspaperring-theory
  Language:TeX 4

• miyamok / minlog

  Proof assistant for realizability logic TCF

  constructive-mathematicsformal-verificationproof-assistantrealizabilityscheme-languageprogram-extraction
  Language:Scheme 1

• vishallama / martin-lof

  papers of Per Martin Löf

  type-theorylogicconstructive-mathematicsconstructive-logicintuitionistic-logicprogramming
  Language:TeX 1

• wkolowski / CoqBookPL

  Stabilna wersja alfa mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych dziwnych rzeczach.

  bookconstructive-logicconstructive-mathematicscoqformal-verificationfunctional-programmingtype-theory