GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — arademaker - Overview
@arademaker arademaker Follow
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
@arademaker
arademaker
Follow
View arademaker's full-sized avatar
🎯
Focusing

Alexandre Rademaker arademaker

🎯
Focusing
Follow
Researcher in Logic, Functional Programming, Formal Methods. Working with Lean and CSLib
303 followers · 146 following
  • EMAp/FGV
  • Rio de Janeiro
  • 16:59 (UTC -03:00)
  • https://arademaker.github.io/
  • https://orcid.org/0000-0002-7583-0792
  • @arademaker
  • in/alexandrerademaker

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex2Achievement: Galaxy BrainAchievement: QuickdrawAchievement: YOLOAchievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex2Achievement: Galaxy BrainAchievement: QuickdrawAchievement: YOLOAchievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@EMAp @delph-in @globalwordnet @openrif @own-pt @leanprover-community @UniversalPropositions @cslib-community
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
arademaker/README.md

Alexandre Rademaker

  • 🌱 Programming in Lean!
  • 🌱 Formal Methods!
  • 🌱 Working with LLMs and AI
  • 📫 How to reach me:
    • personal website
    • FGV/EMAp

Popular repositories Loading

  1. SLattes SLattes Public

    Semantic Lattes

    XSLT 45 15

  2. dicionariosIBGE dicionariosIBGE Public

    Forked from erickrf/dicionariosIBGE

    Dicionários de dados para as pesquisas PNAD, PME e POF do IBGE.

    R 14 11

  3. hemera hemera Public

    Yet another simple theorem prover

    Python 6 1

  4. IR-2011 IR-2011 Public

    Curso de Introdução ao R - 2011

    R 6 3

  5. vizagrams vizagrams Public

    A visualization library for Lean

    Lean 6

  6. SALC SALC Public

    A Sequent Calculus for ALC (Description Logic)

    5

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

Uh oh!

There was an error while loading. Please reload this page.
You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.