Ailrun/Theorem_Proving_in_Lean

Stars
3
Rank 3,963,521 (Top 79 %)
Language Lean
Created almost 5 years ago
Updated over 4 years ago

Ailrun/Theorem_Proving_in_Lean

Ailrun

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

core-lang-haskell

Implementation for the book <Implementing functional languages: a tutorial>

typed-f

Typed functional programming utilities

magit-lfs

Git LFS for magit!

rxpressive

Express meets RxJS.

pile-of-characters

Various writings

tsdux

Type-safe redux utilities for TypeScript.

lambda-cube

Haskell implementation of (some of) lambda cube calculi

coq-commenter

Coq commenter for Emacs

satyros

SATyros, small SAT/SMT sovler library for step-by-step solving

LambdaDB

On-memory DB using Lambda function

rxan-core

Core package for rxan

tsdux-observable

tsdux utilities for Observables

dev-api-server

Configurable API server for client development

emacs-retrie

An Emacs package to refactor Haskell code with retrie

Htaut

Haskell integrated Tautology prover

LiquidHaskell-tutorial

Programming_in_Haskell

TRPL-study

<The Rust Programming Language> book study

Floor1

Experimental (and basic) proof assistant with absolutely **no** elegant features.

tetris-js

Various implementation for tetris in JS

graphql-file-upload

Example for file upload API with GraphQL

npm-prologue

NPM project/package bootstrapper for Junyoung Clare Jang

DNA_Hairpin_Structure

detect hairpin structure of short length DNA

APar

Arrow Parser Library of Haskell

rxan-react

Elevator2way7floor

2 ways 7 floors elevator using Verilog

example-graphql-server

Example server for graphql seminar

Ailrun.github.io

GitHub Pages for Ailrun

deducible

TypeScript library for logical system handling

three-potree-loader-example

Three potree loader minimal(?) example.

yet-another-emacs-settings

emacs settings for C, C++, html, node.js, ...

Lambdifies

ProofPool

Agda proofs for various topics