Piperic
similar sites
‹ ProfileAI Report

Sites similar to lean4.dev

Lean4 alternatives & similar sites

Lean 4 - Learn Functional Programming & Theorem Proving | lean4.dev — 18 websites ranked by shared content topics, category and on-page relevance.

Each result shows its full tech stack, contacts and AI-policy — not just a name · Browse all sites in Programming Languages →

DomainMatchTitleCountry/LangCategoryAI filesContactAI-protection
procodinghelp.com 70 match
1 shared topics
Pro Coding Help - Professional Programming Solutions en programming-languages robotsllmsaihumans emailphone none
learninglad.com 70 match
1 shared topics
Free Programming Tutorials | LearningLad en programming-languages robotsllmsaihumans emailphone none
leelasoft.com 70 match
1 shared topics
C Programming & Data Structures Tutorials - CCompilter en programming-languages robotsllmsaihumans emailphone none
catalystcode.dev 70 match
1 shared topics
CatalystCode - Learn Programming Languages | C++, TypeScript, Rust, Python, Go en programming-languages robotsllmsaihumans emailphone none
simple2code.com 70 match
1 shared topics
Simple2Code - Learn programming Language, C, Java, C++ with Programs. en programming-languagesWordPress robotsllmsaihumans emailphone none
curry-language.org 69 match
1 shared topics
Curry Programming Language en programming-languages robotsllmsaihumans emailphone none
curry-lang.org 69 match
1 shared topics
Curry Programming Language en programming-languages robotsllmsaihumans emailphone none
cmears.id.au 69 match
1 shared topics
Chris Mears | Personal blog of Chris Mears. Posts on constraint programming, functional programming and more. Australia en programming-languages robotsllmsaihumans emailphone none
learnyapl.com 69 match
1 shared topics
Learn YAPL – Learn Yet Another Programming Language en programming-languagesWordPress robotsllmsaihumans emailphone none
learnbyvisualize.com 69 match
1 shared topics
Learn By Visualize - Interactive 3D Programming Visualizations en programming-languages robotsllmsaihumans emailphone none
7urtle.com 68 match
1 shared topics
@7urtle/lambda - Functional programming library for JavaScript en programming-languages robotsllmsaihumans emailphone none
learnprogramo.com 68 match
1 shared topics
Home - Learnprogramo en programming-languagesWordPress robotsllmsaihumans emailphone none
crystal-lang.org 68 match
1 shared topics
The Crystal Programming Language en programming-languages robotsllmsaihumans emailphone none
hyprogramming.com 68 match
1 shared topics
Hy Programming en programming-languages robotsllmsaihumans emailphone none
learnlazarus.com 68 match
1 shared topics
Learn Lazarus | Website dedicated to helping new users learn about the Lazarus IDE and the Free Pascal programming language. en programming-languages robotsllmsaihumans emailphone none
processingprogramming.com 68 match
1 shared topics
Processing Programming en programming-languages robotsllmsaihumans emailphone none
leelogs.com 68 match
1 shared topics
LeeLogs - Programming Tutorials en programming-languages robotsllmsaihumans emailphone none
flixprogramming.com 68 match
1 shared topics
Flix Programming en programming-languages robotsllmsaihumans emailphone none

How the match score works

Each match is a 0–100 similarity score — the higher it is, the more two sites resemble one another. It’s computed automatically from our own crawl data (never from what a site says about itself) by combining several independent signals, so a high score means several of them point the same way:

No single signal decides the result — they’re blended together. Treat the score as a way to rank candidates rather than an absolute percentage; the chips on each result show which signals contributed.