Case Insensitive Strings for Lean 4.
Add CaseInsensitive to your lakefile.lean:
require CaseInsensitive from git "https://github.com/axiomed/CaseInsensitive.lean.git"
forked from axiomed/case-insensitive
-
Notifications
You must be signed in to change notification settings - Fork 0
placidex/case-insensitive
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Case Insensitive String for Lean4
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Lean 100.0%