https://github.com/jaalonso/ra20116

Curso de "Razonamiento automático"
https://github.com/jaalonso/ra20116

isabelle isabelle-hol

Last synced: 16 days ago
JSON representation

Curso de "Razonamiento automático"

• Host: GitHub
• URL: https://github.com/jaalonso/ra20116
• Owner: jaalonso
• License: gpl-3.0
• Created: 2016-11-02T11:26:48.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2022-06-24T10:16:10.000Z (over 2 years ago)
• Last Synced: 2023-03-05T04:48:50.151Z (almost 2 years ago)
• Topics: isabelle, isabelle-hol
• Language: Isabelle
• Size: 35.2 KB
• Stars: 2
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project