Data

Tools

Indexes

Applications

Experiments

Open Source Science

https://github.com/dhsorens/lean-bank

A toy bank CLI coded and formally verified in Lean

https://github.com/dhsorens/lean-bank

Science Score: 26.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ○
    CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ○
    DOI references
  • ○
    Academic publication links
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (0.8%) to scientific vocabulary
Last synced: 5 months ago · JSON representation

Repository

A toy bank CLI coded and formally verified in Lean

Basic Info
  • Host: GitHub
  • Owner: dhsorens
  • Language: Lean
  • Default Branch: main
  • Size: 6.84 KB
Statistics
  • Stars: 0
  • Watchers: 0
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Created 8 months ago · Last pushed 6 months ago
Metadata Files
Readme

README.md

Toy Bank Implementation with Vaults

This is a CLI in Lean that mimics a digital bank. The bank keeps vaults, can open accounts, deposit, withdraw, transfer, query balance, and close accounts.

CLI Commands

  • open
  • deposit id_to qty
  • withdraw id_from qty
  • transfer id_from id_to qty
  • bal id
  • close id

Owner

  • Name: Derek Sorensen
  • Login: dhsorens
  • Kind: user
  • Location: Cambridge, UK
  • Company: University of Cambridge

GitHub Events

Total
  • Push event: 1
  • Create event: 1
Last Year
  • Push event: 1
  • Create event: 1

Dependencies

.github/workflows/lean_action_ci.yml actions
  • actions/checkout v4 composite
  • leanprover/lean-action v1 composite