Begriffsschrift

Begriffsschrift is a proof-assistant-oriented typeface based on Iosevka.

This project is currently an experimental fork of Iosevka.

Goals

Add missing mathematical characters frequently used in proof assistants.
Improve readability of mathematical operators, including large operators such as ∫.
Add proof-assistant-oriented ligatures such as →*.

Work in progress.

Name		Name	Last commit message	Last commit date
Latest commit History 5,523 Commits
.github		.github
changes		changes
doc		doc
docker		docker
images		images
packages		packages
params		params
sample-text		sample-text
tools		tools
tools2		tools2
.editorconfig		.editorconfig
.gitattributes		.gitattributes
.gitignore		.gitignore
CHANGELOG.md		CHANGELOG.md
LICENSE.md		LICENSE.md
README.md		README.md
biome.json		biome.json
build-plans.toml		build-plans.toml
package-lock.json		package-lock.json
package.json		package.json
private-build-plans.sample.toml		private-build-plans.sample.toml
private-build-plans.toml		private-build-plans.toml
verdafile.mjs		verdafile.mjs