https://github.com/jaalonso/cursos_de_ra

Recopilación de cursos de razonamiento automático.
https://github.com/jaalonso/cursos_de_ra

acl2 agda automated-reasoning coq courses interactive-theorem-proving isabelle-hol lean otter proof-assistant prover9 pvs

Last synced: 17 days ago
JSON representation

Recopilación de cursos de razonamiento automático.

• Host: GitHub
• URL: https://github.com/jaalonso/cursos_de_ra
• Owner: jaalonso
• License: gpl-3.0
• Created: 2018-12-04T16:02:36.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2022-06-24T09:02:50.000Z (over 2 years ago)
• Last Synced: 2024-07-30T19:24:36.147Z (5 months ago)
• Topics: acl2, agda, automated-reasoning, coq, courses, interactive-theorem-proving, isabelle-hol, lean, otter, proof-assistant, prover9, pvs
• Size: 15.6 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project