Skip to content
View arademaker's full-sized avatar
🎯
Focusing
🎯
Focusing
272 followers · 131 following

Achievements

Achievement: Galaxy BrainAchievement: QuickdrawAchievement: YOLOAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Galaxy BrainAchievement: QuickdrawAchievement: YOLOAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@EMAp @delph-in @globalwordnet @openrif @own-pt @UniversalPropositions

Block or report arademaker

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
arademaker/README.md

Alexandre Rademaker

  • 🌱 Programming in Lean!
  • 🌱 Formal Methods!
  • 🌱 Working with LLMs and AI
  • 📫 How to reach me:

Popular repositories Loading

  1. SLattes SLattes Public

    Semantic Lattes

    XSLT 43 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. fad fad Public

    Functional Algorithms Design

    Lean 9 1

  4. hemera hemera Public

    Yet another simple theorem prover

    Python 6 1

  5. IR-2011 IR-2011 Public

    Curso de Introdução ao R - 2011

    R 6 3

  6. SALC SALC Public

    A Sequent Calculus for ALC (Description Logic)

    5