Skip to content
View xkapastel's full-sized avatar
11 followers · 3 following

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Block or report xkapastel

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

5 results for source starred repositories written in OCaml
Clear filter

owlbarn / owl

Owl - OCaml Scientific Computing @ https://ocaml.xyz

OCaml 1,209 122 Updated Sep 16, 2024

Andromedans / andromeda

A proof assistant for general type theories

OCaml 297 34 Updated Feb 8, 2022

RedPRL / redtt

"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory

OCaml 204 12 Updated Mar 25, 2022

andrejbauer / miniLCF

A bare-bones LCF-style proof assistant

OCaml 21 Updated Aug 13, 2019

kelleyvanevert / minprop_pa

An LCF-style proof assistant for minimal propositional logic (in OCaml)

OCaml 3 Updated May 29, 2013