Skip to content

mviraj/KakeyaFiniteFields

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

7 Commits
src
src
 
 
.babelrc
.babelrc
 
 
.eslintrc
.eslintrc
 
 
.gitignore
.gitignore
 
 
LICENSE
LICENSE
 
 
README.md
README.md
 
 
package-lock.json
package-lock.json
 
 
package.json
package.json
 
 
webpack.common.js
webpack.common.js
 
 
webpack.dev.js
webpack.dev.js
 
 
webpack.prod.js
webpack.prod.js
 
 

Repository files navigation

basic-react-setup

About

📚 Formalize Kakeya sets in finite fields with Lean 4, establishing lower bounds on their size and advancing mathematical understanding in a structured way.

mviraj.github.io

Topics

c fast distributed-systems compression entropy gpu julia mathematics sparse derivatives fse compliance coloring blockchain-technology non-allocating llmops llm-inference hallucination-evaluation hallucination-mitigation

Resources

Readme

License

MIT license
Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

 
 
 

Contributors

Languages