constructive-mathematics

Here are 4 public repositories matching this 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.

rust dependent-types logic theorem-proving formal-verification prover automated-theorem-provers reasoning theorem-prover constructive-mathematics proof-assistants

Updated Mar 17, 2023

martinescardo / TypeTopology

Star

Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.

type-theory agda ordinal homotopy-type-theory univalent-foundations constructive-mathematics compact-type totally-separated-type injective-type searchable-set univalent-mathematics

Updated Mar 26, 2023
Agda

vishallama / martin-lof

Star

papers of Per Martin Löf

programming logic type-theory intuitionistic-logic constructive-logic constructive-mathematics

Updated Nov 24, 2018
TeX

wkolowski / CoqBookPL

Star

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

functional-programming book coq type-theory formal-verification constructive-logic constructive-mathematics

Updated Dec 28, 2020

Improve this page

Add a description, image, and links to the constructive-mathematics topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the constructive-mathematics topic, visit your repo's landing page and select "manage topics."

Learn more