Pinned Repositories
predicativize
A tool for sharing proofs with predicative systems
agda
Agda is a dependently typed programming language / interactive theorem prover.
Agda2Dedukti
alg1_tp1
Avaliacao_Estatistica_TP1_ALG1
BiTTs
Dedukti
Implementation of the λΠ-calculus modulo rewriting
diamond-implies-cr
encoding-benchmarking
europroofnet.github.io
Sources of the EuroProofNet web site.
thiagofelicissimo's Repositories
thiagofelicissimo/BiTTs
thiagofelicissimo/Agda2Dedukti
thiagofelicissimo/agda
Agda is a dependently typed programming language / interactive theorem prover.
thiagofelicissimo/alg1_tp1
thiagofelicissimo/Avaliacao_Estatistica_TP1_ALG1
thiagofelicissimo/Dedukti
Implementation of the λΠ-calculus modulo rewriting
thiagofelicissimo/diamond-implies-cr
thiagofelicissimo/encoding-benchmarking
thiagofelicissimo/europroofnet.github.io
Sources of the EuroProofNet web site.
thiagofelicissimo/SI221
thiagofelicissimo/examples-encodigs
thiagofelicissimo/lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
thiagofelicissimo/Logipedia
An encyclopedia of proofs
thiagofelicissimo/mitro209-densest-subgraph
thiagofelicissimo/MPRI2_36_1_Project
thiagofelicissimo/my-files
thiagofelicissimo/nat-to-hilb
thiagofelicissimo/personal-website-generator
thiagofelicissimo/Projeto_filtro_analogico_-_procsin1
thiagofelicissimo/proofterm-search
thiagofelicissimo/SLR203
thiagofelicissimo/SLR207
thiagofelicissimo/SLR210-Obstruction-Free-Consensus
thiagofelicissimo/SmartFridge
thiagofelicissimo/TP2_alg1
thiagofelicissimo/TP3_alg1
thiagofelicissimo/trabalho_lab_medicao_2018-02
thiagofelicissimo/universo
A universe reconstruction tool based on Dedukti and the encoding of CiC in Dedukti
thiagofelicissimo/universo-translator