egisatoshi/AutoTheoremProvers egisatoshi/AutoTheoremProvers

  • Stars
    star
    4
  • Rank 3,289,693 (Top 66 %)
  • Language
  • Created over 5 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
egisatoshi/AutoTheoremProvers
github

egisatoshi

Reviews

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

Repository Details

Auto theorem proving algorithms in Egison

More Repositories

1

scheme-compiler

Scheme compiler implemented in 2008 with friends
Assembly
13
star
2

concordance

English Writing Support System on Emacs
Emacs Lisp
7
star
3

leofs_sample_hs

Sample code for LeoFS in Haskell
Haskell
3
star
4

egsh

Shell implemented by me in 2007
C
3
star
5

scheme-meta-interpreter

Scheme interpreters written in Scheme
Scheme
2
star
6

dotfiles

My Linux configuration files
Shell
2
star
7

EMR-Paper-Computation

2
star
8

website

Website of Satoshi Egi
HTML
2
star
9

sqlite-test

test code of sqlite
Ruby
1
star
10

egison.pira.jp

Egison website in the past
Emacs Lisp
1
star
11

twitter-graph

Construct the Twitter follow relationship graph
Ruby
1
star
12

macro-paper

TeX
1
star
13

sqlite

copy of sqlite source code
C
1
star
14

monad-parallel-test

Haskell
1
star
15

kvs

Memcache server in Erlang for Erlang Tutorial
Erlang
1
star
16

riemann-tensor

Calculation of Riemann Curvature Tensor in Various Computer Algebra System
Mathematica
1
star