Edukera
- Company typePrivate
- Founded2013
- HeadquartersNeuilly-sur-seine, France
- Headcount1–10
- GTM typeB2B
- OfferingSoftware
Edukera firmographics
Firmographics- Name
- Edukera
- Legal name
- edukera SAS
- Website
- https://edukera.com
- Company type
- Private
- Founded year
- 2013
- Operating status
- Operating
- Headcount range
- 1–10 employees
- Ownership category
- akta.pro rank
Edukera industry classification
Industry- Product category
- Educational Technology Software
- NAICS
- Educational Support Services (611710), Educational Services (611)
- SIC
- Services-Prepackaged Software (7372), Services-Educational Services (8200)
- akta.pro primary industry
- Interactive Practice & Skill-Building (Drills, Games, Mastery Practice) (EDAFACAC)
- akta.pro secondary industries
- Adaptive Learning & Personalized Instruction Software (EDAJAMAE), Exam Prep & Standards-Aligned Review Courseware (Within Curriculum) (EDAFACAO)
Keywords
Where Edukera is headquartered
LocationHeadquarters
- HQ city
- Neuilly-sur-seine
- HQ country
- France
- HQ region
- Europe
Offices1 record
Markets served
Edukera business model
Business model- GTM type
- B2B
- Offering type
- Software
- Cost components
- Personnel, Technology or R&D, Marketing or Sales, Operations, Infrastructure
Revenue model
- Subscription (Annual): Some parts of the Service are billed on a subscription basis in advance on an annual billing cycle. At the end of each billing cycle, the subscription renews automatically unless cancelled.
Pricing tiers
| Model | Billing | Price |
|---|---|---|
| Subscription | Annual | Subscription-based service with annual billing cycle |
Go-to-market motion2 records
Distribution channels3 records
Marketing channels3 records
Edukera product offering
Product offeringCore offering
Edukera provides an interactive web-based proof assistant platform that helps university students learn mathematical proof by building, justifying, and understanding each step through a digital paper interface. The platform embeds the Rocq proof assistant engine developed with Inria, includes 500+ curated exercises across Calculus, Logic, and Sets, and offers teacher tools for class management via Moodle and Canvas LMS integrations.
Product overview
Edukera is a single, unified proof assistant web application designed for teaching logic and mathematics at the university level. The platform centers on an interactive proof assistant interface that embeds the Rocq proof assistant engine, combined with over 500 exercises organized into three thematic content areas (Calculus, Logic, and Sets). Teacher features for class management, exercise selection, and student monitoring are built into the same platform alongside student-facing tools including step-by-step guided tutorials. Students and teachers access the same application at app.edukera.com; there are no separate product tiers or add-on modules—the full feature set is available within the single Edukera product.
Differentiator
Problem solved
Functional benefit
Products and services
- Edukera Proof Assistant Interactive web-based proof-assistant platform that embeds the Rocq proof assistant engine (developed with Inria) to let university students build, justify, and verify mathematical proofs step by step via a digital paper interface and theorem box, with 500+ exercises across Calculus, Logic, and Sets and native class management through Moodle and Canvas LMS integrations; sold via annual subscription to higher education institutions and individual users.
Quantifiable outcome
- 500+ exercises available across Calculus, Logic, and Sets themes
Companies that use Edukera
Customer profileNamed customers8 records
Segments1 record
Ideal customer profiles1 record
Edukera technology and API
TechnologyTechnology focussed Yes
API detail
- Has API
- No
- API docs
- API detail
Core technology
AI maturity
App detail
Integration2 records
Feature5 records
Edukera partnerships and signals
Strategic signalPartnerships
Four partnerships are on record, tiered core.
- InriacoreInria (French National Institute for Research in Computer Science and Automation) is credited as a developer alongside Edukera. Inria is a major French research institution that develops the Rocq proof assistant technology that Edukera embeds in its platform.
- Rocq Proof Assistant (rocq-prover.org)coreEdukera embeds the Rocq proof assistant, which provides the formal proof management technology underlying the educational platform. This is a technology integration that forms the core of Edukera's interactive proof assistant.
- MoodlecoreEdukera integrates with Moodle LMS, allowing teachers to add classes to their existing Moodle environment, create homework assignments and exams, and monitor student activity through the LMS.
- Canvas (by Instructure)coreEdukera integrates with Canvas LMS, enabling teachers to incorporate the proof assistant into their existing Canvas-based courses, create homework assignments and exams, and track student performance.
Scale indicators2 records
Recent moves4 records
Expansion highlights3 records
Edukera competitors and assessment
Company assessmentBroad incumbents
- Maplesoft (Maple): Provider of Maple, a mathematical computing and education platform used in universities for teaching and researching calculus, algebra and logic. Comparable to Edukera in target customer (university math departments) and in combining a computation engine with pedagogical curriculum, but at much broader scope and scale.
- Khan Academy: Large-scale online learning platform with extensive math content used by millions of students worldwide. Comparable to Edukera in delivering structured math instruction online with practice exercises, but operating at vastly greater scale and covering a much broader curriculum.
- Wolfram Research (Mathematica): Mathematica is a long-standing computational platform widely licensed by universities for math and engineering courses. Comparable to Edukera as a paid academic software product serving university math teaching, though it covers a far broader computational and symbolic-math scope.
- MathWorks (MATLAB): Provider of MATLAB and Simulink, which are licensed per-seat or institution-wide by universities for math, engineering and computational courses. Comparable to Edukera as paid academic math/computing software distributed to universities, though covering applied computation rather than formal proofs.
Direct peers
- GeoGebra: Interactive mathematics learning platform widely used in schools and universities for visualizing and practicing math concepts. Like Edukera, it is a software-as-a-service EdTech product centered on guided, interactive math practice and is integrated into formal math curricula across European institutions.
Emerging players
- Desmos: Interactive graphing calculator and activity platform widely used in K-12 and undergraduate math classrooms. Comparable to Edukera as an EdTech product delivering interactive math experiences inside curricula, but oriented to visualization rather than formal proof.
- Brilliant: Consumer-facing interactive math and science learning platform with guided problem sets and mastery-based practice. Comparable to Edukera in interactive, exercise-driven STEM learning with a subscription model, but it targets self-directed adult learners rather than university curricula.
- Art of Problem Solving: Online math education platform offering courses, textbooks and a problem-solving community used by advanced high-school and undergraduate math students. Comparable to Edukera in providing structured, proof-flavored math practice to motivated learners, though focused on competition math.
Market position
Strengths5 records
Weaknesses5 records
Competitive moat4 records
Key risks6 records
Key highlights6 records
Customer concentration
Edukera social profiles
Digital presenceEdukera financial estimates
Financial estimateRevenue estimate
Valuation estimate
Edukera leadership team
Management profileNumber of profiles
Profiles1 record
Edukera funding detail
Funding detailFunding overview
Funding rounds
Investors
Funding detail is available on the Subscription and Enterprise plan.Contact sales →
Edukera M&A and investment
M&A and investmentM&A
Investments
M&A and investment is available on the Subscription and Enterprise plan.Contact sales →
Frequently asked questions about Edukera
What does Edukera do?
Edukera provides an interactive web-based proof assistant platform that helps university students learn mathematical proof by building, justifying, and understanding each step through a digital paper interface. The platform embeds the Rocq proof assistant engine developed with Inria, includes 500+ curated exercises across Calculus, Logic, and Sets, and offers teacher tools for class management via Moodle and Canvas LMS integrations.
Is Edukera a public or private company?
Edukera is a private company. It is classified as founder individual operated bootstrapped and is currently operating.
When was Edukera founded?
Edukera was founded in 2013. It employs 1 to 10 people.
Where is Edukera based?
Edukera is headquartered in Neuilly-sur-seine, France, in the Europe region.
How does Edukera make money?
One revenue line is on record: subscription (Annual).
Who are Edukera's main competitors?
Broad incumbents on record are Maplesoft (Maple), Khan Academy, Wolfram Research (Mathematica) and MathWorks (MATLAB). GeoGebra is listed as a direct peer. Emerging players are Desmos, Brilliant and Art of Problem Solving.
Does Edukera have an API?
No public API is recorded for Edukera.
What industry is Edukera in?
Edukera's product category is Educational Technology Software. Its primary akta.pro industry code is EDAFACAC, Interactive Practice & Skill-Building (Drills, Games, Mastery Practice), with a secondary code of EDAJAMAE, Adaptive Learning & Personalized Instruction Software. Its NAICS code is 611710 and its SIC code is 7372.