https://github.com/alok/leanplusplus

The increment operator in Lean 4
https://github.com/alok/leanplusplus

imperative-programming lean4

Last synced: 9 months ago
JSON representation

The increment operator in Lean 4

• Host: GitHub
• URL: https://github.com/alok/leanplusplus
• Owner: alok
• Created: 2024-12-25T07:53:22.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2024-12-25T07:53:52.000Z (over 1 year ago)
• Last Synced: 2025-02-25T09:44:48.859Z (about 1 year ago)
• Topics: imperative-programming, lean4
• Language: Lean
• Homepage:
• Size: 5.86 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE-2.0.txt

Awesome Lists containing this project

README

          
# LeanPlusPlus

This is a library for Lean 4 that adds a plus plus operator to the language, like in C.

## Why?

Just cause.