Etiquetas y Categorías
Categorías
Etiquetas
- Abella
- ACL2
- Agda
- AI
- Algorithms
- AlphaGeometry
- AlphaProof
- ASP
- ATP
- Autoformalisation
- Autoformalization
- Beluga
- Calculemus
- CAS
- CategoryTheory
- ChatGPT
- CompSci
- Coq
- CurryHoward
- DeepLearning
- Diproche
- Elisp
- Elm
- Emacs
- FunctionalProgramming
- Go
- Haskell
- HOL
- HOL4
- HOL<sub>Light</sub>
- HOL_Light
- Hope
- HoTT
- IA
- IMO
- IsabelleHO
- IsabelleHOL
- ITP
- LambdaCalculus
- Lean3
- Lean4
- LeanProver
- LiquidHaskell
- Lisa
- LLMs
- Logic
- LogicProgramming
- Mace4
- MachineLearning
- Math
- Mathlib
- Maude
- Metamath
- MinLog
- Miranda
- Mizar
- NaprocheZF
- Natty
- Nix
- OCaml
- OrgMode
- PhDThesis
- Physics
- Programming
- Prolog
- Prover9
- PVS
- Python
- Racket
- Reasoning
- Rocq_Prover
- SAT
- SetTheory
- SMT
- SSReflect
- Theorema
- TPTP
- TypeScript
- TypeTheory
- Vampire
- Z3