https://github.com/sec-bit/tmap

A total map implementation
https://github.com/sec-bit/tmap

Last synced: over 1 year ago
JSON representation

A total map implementation

• Host: GitHub
• URL: https://github.com/sec-bit/tmap
• Owner: sec-bit
• Created: 2018-04-27T04:12:41.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2018-04-27T06:38:33.000Z (about 8 years ago)
• Last Synced: 2025-01-23T00:27:00.460Z (over 1 year ago)
• Language: Coq
• Size: 2.93 KB
• Stars: 1
• Watchers: 4
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# TMap.v -- A simple total map implementation for coq

Author: Yu Guo  

A total map implementation

## Coq version

Require Coq >= 8.6

## References