https://starling-lang.org/docs/index.html

1<!DOCTYPE html>
2<html lang="en">
3<head>
4    <meta charset="utf-8">
5    <title>JSDoc: Home</title>
6
7    

7<script src="scripts/prettify/prettify.js"> </script>

7
8    

8<script src="scripts/prettify/lang-css.js"> </script>

8
9    <!--[if lt IE 9]>
10      

10<script src="//html5shiv.googlecode.com/svn/trunk/html5.js"></script>

10
11    <![endif]-->
12    <link type="text/css" rel="stylesheet" href="styles/prettify-tomorrow.css">
13    <link type="text/css" rel="stylesheet" href="styles/jsdoc-default.css">
14</head>
15
16<body>
17
18<div id="main">
19
20    <h1 class="page-title">Home</h1>
21
22    
23
24
25
26    
27
28
29    <h3> </h3>
30
31
32
33
34
35
36
37
38
39
40    
41
42
43
44
45    <section>
46        <article><h1 align="center"> ⭐ Starling</h1>
47<h2 align="center"> Starling is a proof assistant that makes interactive theorem proving accessible.</h2>
48<p><img src="static/demo.gif" alt="Demo of language."></p>
49<h2>⭐ Try Starling Now</h2>
50<p>No installation needed! <strong><a href="https://starling-lang.org/editor">Open the web editor</a></strong> and try writing a proof in the Starling language.</p>
51<h2>⭐ Quick Start</h2>
52<p>In your terminal:</p>
53<pre class="prettyprint source lang-bash"><code>git clone https://github.com/starlinglang/starling.git
54npm install
55cd starling/ide
56npx http-server
57</code></pre>
58<h2>⭐ Features</h2>
59<p>Starling is inspired by the simplicity of Metamath and the readability of Isabelle/Isar, inheriting Metamath's proof verifier and Isabelle/Isar's readable grammar.</p>
60<h2>⭐ Why Starling?</h2>
61<p>The learning curve for existing proof assistants is steep, and the error messages given are not always helpful.</p>
62<p>Starling is a rigorous proof assistant which is meant to be friendly to mathematicians and students at the beginning of their coding journey.</p>
63<h2>⭐ Contributing</h2>
64<p><a href="https://github.com/starlinglang/starling/blob/main/CONTRIBUTING.md">Contributions are welcome!</a></p>
65<p>The build system for this project is relatively simple:</p>
66<pre class="prettyprint source lang-bash"><code>git clone https://github.com/starlinglang/starling.git
67npm install
68npm run build
69</code></pre>
70<p>If you want to contribute, you might consider working on <a href="https://github.com/starlinglang/starling/blob/main/CONTRIBUTING.md">these features</a>.</p></article>
71    </section>
72
73
74
75
76
77
78</div>
79
80<nav>
81    <h2><a href="index.html">Home</a></h2><h3>Global</h3><ul><li><a href="global.html#actions">actions</a></li><li><a href="global.html#compile">compile</a></li><li><a href="global.html#resolveReferences">resolveReferences</a></li><li><a href="global.html#starlingGrammar">starlingGrammar</a></li><li><a href="global.html#transpile">

81transpile</a></li></ul>
82</nav>
83
84<br class="clear">
85
86<footer>
87    Documentation generated by <a href="https://github.com/jsdoc/jsdoc">JSDoc 4.0.5</a> on Wed May 06 2026 19:16:47 GMT-0400 (Eastern Daylight Time)
88</footer>
89

90<script> prettyPrint(); </script>

90

91<script src="scripts/linenumber.js"> </script>

91
92</body>
93</html>