GitHub - imbrem/discretion: Utilities for formalizing programming languages in Lean 4, along with other tidbits

imbrem / discretion Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Utilities for formalizing programming languages in Lean 4, along with other tidbits

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 181 Commits
Discretion		Discretion
.gitignore		.gitignore
Discretion.lean		Discretion.lean
LICENSE		LICENSE
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain

Repository files navigation

BSD Zero Clause License

Copyright (C) 2024 by Jad Elkhaleq Ghalayini <jeg74@cl.cam.ac.uk>

Permission to use, copy, modify, and/or distribute this software for any purpose with or without fee is hereby granted.

THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.