Skip to main content

Vestigium

Computational Logic Research Notebook

Languages:

Archive
Categories
Tags (active)
About
RSS
José A. Alonso

Tags

Also available in:

AI
AI4Math
Autoformalization
CAS
FunctionalProgramming
Haskell
IsabelleHOL
ITP
Lean4Challenge
LeanProver
Logic
Math
RetoLean4
RocqProver

Written by José A. Alonso using Nikola
This work is licensed under a