MrChico/Reals-in-agda MrChico/Reals-in-agda

  • Stars
    star
    10
  • Rank 1,807,489 (Top 36 %)
  • Language
    TeX
  • Created over 9 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
MrChico/Reals-in-agda
github

MrChico

Reviews

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

Repository Details

Constructive definition of real numbers implemented in agda.

More Repositories

1

verifyIPFS

Solidity library for verifying IPFS hashes
Solidity
112
star
2

stablecoin.services

A gas free offering of common Dai and Chai operations
JavaScript
33
star
3

rnbostuff

JavaScript
6
star
4

massiboston

JavaScript
5
star
5

krho

Implementation of Rholang in the K framework
Makefile
4
star
6

CompMeta

Exercises in computational metaphysics
Isabelle
4
star
7

Smarter-contract-lang

Idris
3
star
8

rholang-mode

Syntax highlighting and indentation for rholang in emacs
Emacs Lisp
2
star
9

LinearDependentTypes

TeX
2
star
10

evmbench

Shell
2
star
11

wasm-mode

Wasm-mode for editing web assembly code with emacs
Emacs Lisp
1
star
12

PCO

Max
1
star
13

arduinostuf

JavaScript
1
star