Emacs

Lecturas compartidas el 14 de mayo de 2024

#ITP #Lean4 #IsabelleHOL #Haskell #Python #Math #Emacs #OrgMode #Elisp #ChatGPT

may 15, 2024 •

José A. Alonso

Lecturas compartidas el 12 de abril de 2024

#ITP #Lean4 #IsabelleHOL #Coq #FunctionalProgramming #Haskell #Math #IMO #AI #NeuralNetwork #Emacs #OrgMode

abr 13, 2024 •

José A. Alonso

Lecturas compartidas el 9 de abril de 2024

#ITP #Lean4 #IsabelleHOL #Coq #Math #LLMs #Logic #Emacs #OrgMode

abr 10, 2024 •

José A. Alonso

Lecturas compartidas el 31 de marzo de 2024

#Automath #Emacs #Haskell #ITP #Matemáticas #Math #OrgMode #Pandoc #Python

abr 1, 2024 •

José A. Alonso

Lecturas compartidas el 12 de marzo de 2024

Lecturas de demostración automática, Coq, verificación formal y emacs.

mar 13, 2024 •

José A. Alonso

Lecturas compartidas el 10 de marzo de 2024

Lecturas de Haskell, verificación formal, IA, matemáticas y Emacs.

mar 11, 2024 •

José A. Alonso

Lecturas compartidas el 7 de marzo de 2024

Lecturas de Isabelle/HOL, Haskell, teoría de categorías y matemáticas

mar 8, 2024 •

José A. Alonso

Lecturas compartidas el 2 de marzo de 2024

Lecturas sobre Emacs, FunctionalProgramming, Haskell, LogicProgramming y Prolog.

mar 3, 2024 •

José A. Alonso

#nojs-banner { position: fixed; bottom: 0; left: 0; padding: 16px 16px 16px 32px; width: 100%; box-sizing: border-box; background: red; color: white; font-family: -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol"; font-size: 13px; line-height: 13px; } #nojs-banner a { color: inherit; text-decoration: underline; } This site requires JavaScript to run correctly. Please turn on JavaScript or unblock scripts