arend-lib

APACHE-2.0 License

Stars
77
Committers
20
View Code on GitHub Twitter
Ecosystems: PyCharm, IntelliJ IDEA, Kotlin

Arend Standard Library

Arend is a theorem prover based on Homotopy Type Theory. Visit arend-lang.github.io for more information about the Arend language.

Badges
Extracted from project README's
JetBrains project
Related Projects
teamcity-dotnet-samples

21 Aug 2020 9
go-code-samples

Code samples for tutorials published on the GoLand blog

26 Oct 2022 53
Arend

The Arend Proof Assistant

16 Feb 2015 685
teamcity-bitbucket-issues

24 Feb 2016 4
p2p-games

17 Jun 2016 10
intellij-stats-collector

Collecting statistics to measure completion sorting quality

11 Nov 2015 8
JPS

Gant based build framework + dsl, with declarative project structure definition and automatic Int...

01 Sep 2009 25
teamcity-github-issues

11 Sep 2015 2
rails_helloworld

17 Oct 2019 0
mapper

JetBrains Mapper MVC Framework

11 Mar 2013 50
teamcity-aws-codebuild-plugin

Build runner for building projects on AWS CodeBuild

21 Dec 2016 4
intellij-arend

Arend plugin for IntelliJ IDEA

03 Jul 2017 84
ij_tutorial_gradle

30 Jun 2020 5
coursera-assignments

Coursera programming assignments compatible with EduTools plugin

19 Sep 2018 2
mocha-intellij

18 Sep 2014 9