alcides/lean3_tutorial alcides/lean3_tutorial

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language Lean
  • Created over 4 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
alcides/lean3_tutorial
github

alcides

Reviews

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

Repository Details

Tutorial to use Lean for theorem proving

More Repositories

1

pascal-in-python

Pascal compiler implemented in python using Lex, Yacc and LLVM
Python
86
star
2

GeneticEngine

Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses
Python
35
star
3

wallmanager

Website and Multitouch app to manage a Multi-Touch surface.
Python
17
star
4

git-pull-hook

A Sinatra app that takes github's post-receive-hook and git pulls to the local repo.
Ruby
14
star
5

webcaminput

Unobtrusive Webcam Input for your HTML Forms
ActionScript
11
star
6

tarpipe-python

Tarpipe API library in Python
Python
9
star
7

alcides-bliki

My personal bliki
JavaScript
9
star
8

rdflib

rdflib for Python, with SQLite fixes.
Python
8
star
9

aeon

Aeon programming language
Python
8
star
10

RefinementTypesTutorial

A Python implementation of the Refinement Types Tutorial.
Python
8
star
11

AoC2021Lean4

My Solutions using Lean 4 for the 2021 edition of the Advent of Code
Lean
7
star
12

scalampp

Scala XMPP Client/Server (School assignment)
Java
7
star
13

haskell_tutorial

Codebits 2012 Talk: What's the fuss about Functional Programming β€” Haskell mini Tutorial
Haskell
7
star
14

django-layout

My default Django folder structure
Python
7
star
15

applebin

Utility scripts for my $PATH and several dotfiles.
Perl
5
star
16

springboot_demo

Demo of a SpringBoot application
Java
5
star
17

bigdatagpunn

Big Data Tuturial to train a Neural Network on distributed GPU-backed machines.
Python
5
star
18

textile-documenter

A Rakefile to generate HTML version of your textile documentation
4
star
19

pungi

Python microwebframework
Python
2
star
20

e107wiki

A wiki plugin for the e107 CMS
2
star
21

gpuprogramming_demos

Cuda and OpenCL examples for GPU programming presentation
Cuda
2
star
22

sinatra_wiki

A wiki written in Sinatra with textile support
Ruby
2
star
23

air.tmbundle

TextMate Bundle for AdobeAir development. Requires a certain folder structure (will make template available)
2
star
24

python-django.tmbundle

Django bundle for TextMate
2
star
25

scala.tmbundle

A textmate bundle for Scala, modified copy of http://gestalt.monoid.net/blog/2008/02/new-scala-bundle-for-textmate.html
Ruby
2
star
26

pcg_cl

OpenCL implementation of the PCG random number generator.
C++
1
star
27

ml_machine_demo

Demo of using machine-learning.di.fc.ul.pt
Python
1
star
28

bots

C
1
star
29

usaisto

UsaIsto.com
Ruby
1
star
30

django-tla

An attempt to port the Text Link Ads code to Django. It's TLA, not T&A. Kthx.
Python
1
star
31

django-forum

Mirror of http://django-forum.googlecode.com/svn/
Python
1
star
32

tlreq

TeX Live Dependency Manager
Shell
1
star
33

salesys_with_transaction_script_rdgw

Java
1
star
34

llvm_tutorial

A tutorial to learn how to emit LLVM
LLVM
1
star