Giters

dselsam / search

Search transformers for Lean4

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

search

Search transformers for Lean4

About

Search transformers for Lean4

License:Apache License 2.0

Languages

Language:Lean 75.5%Language:C++ 22.0%Language:Makefile 2.5%