devLap

JSON

JSON Lint JSON Minify JSON Diff JSON ↔ CSV

Encoding

Base64 URL Encode/Decode JWT Decoder Hash Generator

Code

JS Formatter JS Minifier HTML Formatter HTML Minifier CSS Formatter CSS Minifier SQL Formatter HTML Playground Canvas Viewer

EDI

EDI Beautifier

Text

Regex Tester Text Diff Case Converter Word Counter

Data

CSV Viewer Field Mapper

API

REST Client Image Combiner

View all tools →

Codebin News Tutorials Laps

All Tools →

JSON

JSON Lint JSON Minify JSON Diff JSON ↔ CSV

Encoding

Base64 URL Encode JWT Decoder Hash Generator

Code

JS Formatter JS Minifier HTML Formatter HTML Minifier CSS Formatter CSS Minifier SQL Formatter HTML Playground Canvas Viewer

Text

Regex Tester Text Diff Case Converter Word Counter

EDI / Data / API

EDI Beautifier CSV Viewer Field Mapper REST Client Image Combiner

code_blocks Codebin newspaper News school Tutorials route Laps

Home › News › The extended predicative Mahlo universe in Martin-...

The extended predicative Mahlo universe in Martin-Löf type theory

hackernews May 03, 2026

Score: 25 | Comments: 0

Read Full Article open_in_new

arrow_back Back to News

devLap © 2026 devLap. Crafted for developers.

Tools

JSON Lint
SQL Formatter
JS Minifier
JS Beautifier
HTML Cleanup
Image Combiner

Resources

Codebin
Tech News
Tutorials
Laps

Company

About
Contact
Privacy Policy
Terms of Service
Sitemap