https://github.com/diekmann/kant

Kategorischer Imperativ in Isabelle/HOL (experimental)
https://github.com/diekmann/kant

document isabelle-hol philosophy

Last synced: 5 days ago
JSON representation

Kategorischer Imperativ in Isabelle/HOL (experimental)

• Host: GitHub
• URL: https://github.com/diekmann/kant
• Owner: diekmann
• Created: 2019-07-06T13:43:45.000Z (over 5 years ago)
• Default Branch: main
• Last Pushed: 2023-10-03T16:45:11.000Z (about 1 year ago)
• Last Synced: 2024-10-29T20:03:16.313Z (about 2 months ago)
• Topics: document, isabelle-hol, philosophy
• Language: Isabelle
• Homepage:
• Size: 8.95 MB
• Stars: 3
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
Readable theories at https://diekmann.github.io/kant/Kant/index.html

Proof Document at :point_right: :point_right: https://diekmann.github.io/kant/outline.pdf :point_left: :point_left:

Das Proof Document (outline.pdf) ist das, was man lesen will :nerd_face:.