Alexandre Rademaker
GitHub

Alexandre Rademaker

@arademaker

View GitHub Profile

About

Researcher in Logic, Functional Programming, Formal Methods. Working with Lean and CSLib

Location Rio de Janeiro
Company EMAp/FGV
Followers 301
Following 145
Public Repositories 92
Expertise

Skills & Technologies

TeX Haskell Lean Python CSS
GitHub Work

Projects & Repositories

Recent public projects and repositories from this profile.

arademaker.github.com

TeX

homepage and blog

⭐ 3 Forks: 2
TeX View Project

hs-conllu

Haskell

CoNLL-U/UD library

⭐ 4 Forks: 3
Haskell View Project

MarketDesign

Lean

formalization of market design concepts

⭐ 1 Forks: 0
Lean View Project

hemera

Python

Yet another simple theorem prover

⭐ 6 Forks: 1
Python View Project

leanprover-community.github.io

CSS

Hosts the website for mathlib and other Lean community infrastructure.

⭐ 1 Forks: 0
CSS View Project

lean-binsearch

Lean

implementation and formalization of binsearch in Lean

⭐ 1 Forks: 0
Lean View Project
← Back to Talent Open GitHub Profile ↗