https://github.com/functionally/crypto-lean4

Implementation of various cryptographic functions in Lean4
https://github.com/functionally/crypto-lean4

cryptography elliptic-curves lean4

Last synced: 7 months ago
JSON representation

Implementation of various cryptographic functions in Lean4

• Host: GitHub
• URL: https://github.com/functionally/crypto-lean4
• Owner: functionally
• License: mit
• Created: 2024-08-04T21:51:18.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2024-12-29T21:22:01.000Z (about 1 year ago)
• Last Synced: 2024-12-29T22:21:04.000Z (about 1 year ago)
• Topics: cryptography, elliptic-curves, lean4
• Language: Lean
• Homepage:
• Size: 117 KB
• Stars: 2
• Watchers: 1
• Forks: 0
• Open Issues: 11
• Metadata Files:
  • Readme: ReadMe.md
  • License: LICENSE

Awesome Lists containing this project

README

          
[![CI](https://github.com/functionally/crypto-lean4/actions/workflows/ci.yaml/badge.svg)](https://github.com/functionally/crypto-lean4/actions/workflows/ci.yaml)

# Implementation of various cryptographic functions in Lean4

This is an experimental work in progress.