mtrsk/Proof-Plaza mtrsk/Proof-Plaza

  • Stars
    star
    1
  • Language Coq
  • License
    MIT License
  • Created almost 7 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mtrsk/Proof-Plaza
github

mtrsk

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Some experiments with the 'Coq Proof Assistant'. Includes notes about the Software Foundations series.

More Repositories

1

nixos-config

🛠️ My NixOS configuration & dotfiles dumpster fire 🔥
Nix
17
star
2

Minicurso-Linux

(WIP) Minicurso de Linux/Unix, Shell Script e Vim (JIM - 2018)
Nix
7
star
3

mtrsk.github.io

My new blog, built with Org, Elisp, Emacs, Nix, Just & Github Actions
Nix
4
star
4

Criptografia-com-SAGE-2017

Códigos da Palestra sobre Introdução à Criptografia com Curvas Elípticas em SAGE para a XI Semana de Matemática UFMA 2017
Jupyter Notebook
3
star
5

interval.fs

An implementation of Allen's Interval Algebra, for .Net
F#
2
star
6

PropositionsAsTypes

Palestra para o Grupo de Estudos em Lógica e Filosofia Formal da UFMA (GELF), baseado no artigo "Propositions as Types" de Philip Wadler.
TeX
2
star
7

exercism-shell

A nix-based environment to solve exercism in multiple languages
Nix
2
star
8

no-bs

A NodeJS REST API, with no (bs) frameworks
JavaScript
1
star
9

Internet-Magic-Money

(Unfinished) An analysis of the Close Price of some criptocurrencies using Pandas and Quandl's Bitcoin API.
Jupyter Notebook
1
star
10

RegexPlay

Readings from "A Play on Regular Expressions", 2010
Haskell
1
star
11

duino

Playing with arduino in C++ (and maybe Rust?), platform.io and also Nix.
C++
1
star
12

emacs-latex-org-nix

A template project with an environment for LaTeX + Nix + Org-mode
Nix
1
star