schordingerzhu/lean-cedar-hashtable
收藏Hugging Face2026-04-14 更新2026-04-26 收录
下载链接：
https://hf-mirror.com/datasets/schordingerzhu/lean-cedar-hashtable
下载链接
链接失效反馈官方服务：
资源简介：
---
license: apache-2.0
tags:
- code
---
# Nanoda Library Hashtable Trace
Hashtable lookup appears to be the most heavy work in the fastest lean kernel implementation (https://arena.lean-lang.org/checker/nanoda/).
Can we actually do better?
This dataset provides the trace for hashtable lookup during the check on the Cedar benchmark.
提供机构：
schordingerzhu
