Edukera

educational math application to assist students with their exercises

[Edukera @Edukera]

@mtiques @jmblanquer Une démonstration bien formée se corrige automatiquement. C'est ce que nous faisons à @edukera avec succès depuis des années. La correction automatiquement permet à l'enseignant de passer plus de temps avec les élèves en difficulté.

[Edukera @Edukera]

Archetype, a DSL for Tezos
https://t.co/S2mKvaDycU #tezos #SmartContracts

[Edukera @Edukera]

Website of the day: free online logic simulator
https://t.co/Qz7wpY2R1D

[Edukera @Edukera]

Great conference day yesterday for #Tezos , Thank you @TQTezos !

[d3rf @d3rf]

Day 3 - #Tezos all the way - with #TQuorum team #PBWS #Blockchain #StationF

[Edukera @Edukera]

Great conference day for #Tezos ! Thank you @TQTezos for the invitation to speak!

[Arthur B. @ArthurB]

Workshop from @Edukera demonstrating the compilation from the archetype DSL to #Tezos

https://t.co/YkXO8Xhdhi

[Edukera @Edukera]

We are speaking at TQuorum: Paris - a daylong #Tezos conference during Paris Blockchain Week on 18 April. Want to join me? Grab your ticket!
https://t.co/wpOTwgGBqK

[Edukera @Edukera]

Thank you to @TEuropeExperts and Juliette Sénéchal for letting me present about certification of smart contract #edukera #cml #tezos

[Edukera @Edukera]

introduction à la vérification de programme pour la fondation unit
https://t.co/ONXh9g535o

[M2 DC2EN Sorbonne @M2DC2EN]

Journée consacrée à la #blockchain, organisée par notre Master, en partenariat avec le DReDIS, l’@IRJS_Paris1 et le réseau TransEurope Experts.

Ici, @ArthurB nous présente la gouvernance par le fork et @tezos

[Le Lab de L'Education @EduLabFrance]

Deuxième pitch : @Edukera est une application pour faire des maths du collège à l'université !

[Le Lab de L'Education @EduLabFrance]

@Edukera présente son application pour aider les élèves à construire des démonstrations! @leCargoParis #EduPitch

[EdFab @CapEdFab]

#Eduspot pitch de @Edukera #EdTech pour les #maths ! https://t.co/MhyQVvKeWx

[Edukera @Edukera]

#edukera aux journées nationales de l' #APMEP à Lyon le 22 et 23 octobre ! https://t.co/d2cXyzwnp7

[Edukera @Edukera]

great practice session @EPITA !

[Edukera @Edukera]

working session on natural deduction with edukera @upmc !!

[Edukera @Edukera]

example of surjection property in #Edukera https://t.co/bqallKpXS3

[Edukera @Edukera]

@ejgallego @zacchiro yes it is using Coq, running in the browser. we'd glad to exchange : contact us at [email protected]

[Edukera @Edukera]

@ejgallego @yurug @zacchiro very nice ! thanks for the info. Fyi edukera is also serverless.

[Edukera @Edukera]

great working session with Julien Narboux from @unistra ! @Neuillylab

[Edukera @Edukera]

#edukera new educational web app to learn math ! #EducationDay https://t.co/qKCizoN0ar