Sort by
Refine Your Search
-
use and contribute to the Lean4 proof assistant, where we build foundational technology such as a powerful BitVector library, coinductive proofs, an embedding of MLIR's SSA data structures into Lean
Searches related to phd data mining
Enter an email to receive alerts for phd-data-mining positions